Necessitation rule
دیسه‌ای
⊢ φ
□ φ
⊢ φ
□ φ


تاربرگ‌های پیموده‌شده در این نشست: First-order Logic ⟩ transitive ⟩ Modal Logics between S4 and S5 ⟩ transitive