First-order Logic


تاربرگ‌های پیموده‌شده در این نشست: possible-world semantics ⟩ Principia Mathematica ⟩ Predicate Logic ⟩ Provability logic ⟩ Propositional modal logic ⟩ Knowledge Representation and Reasoning