Modal Theorem K.4
دیسه‌ای
(□𝜙∨□𝜓)⊃ □(𝜙∨𝜓)
(□𝜙∨□𝜓)⊃ □(𝜙∨𝜓)


تاربرگ‌های پیموده‌شده در این نشست: proof-theoretic ⟩ Barcan formula ⟩ Georg Cantor ⟩ Modal Theorem B.1