Extended logics

نمونه‌ها/پیاده‌سازی‌ها Modal Logic

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