Non-monotonic logic


تاربرگ‌های پیموده‌شده در این نشست: Alan Ross Anderson ⟩ Logic E ⟩ Archimedes ⟩ Axiom KP ⟩ Quantified modal logic ⟩ mathematical logic