Rasmiy-mantiqiy tadqiqot usullari formalizes logical systems, analyzing them through syntax and semantics. Key concepts include language, axioms, inference rules, evidence, and models, addressing decision-making, consistency, system correctness, model theory, and interpretation. Methods involve axiomatization, calculus, model construction, and algorithmic proof search