Non-monotonic logic


تاربرگ‌های پیموده‌شده در این نشست: Quantified modal logic ⟩ mathematical logic ⟩ theory of meaning ⟩ Sub-classical logics ⟩ Extended logics