Modal Theorem T.2
دیسه‌ای
◊(𝐴⊃□𝐴)
◊(A⊃□A)


تاربرگ‌های پیموده‌شده در این نشست: asymmetric ⟩ automaton ⟩ many-valued ⟩ Provability logic ⟩ Naming and Necessity ⟩ Axiom of Extensionality