Extended logics

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

تاربرگ‌های پیموده‌شده در این نشست: Contingentism ⟩ Axiom of Replacement ⟩ extensional ⟩ faculty ⟩ Jakarta Enterprise ⟩ Contingentism