Barcan formula
(1946)
دیسه‌ای
∀𝑥 □𝐴𝑥⊃ □∀𝑥 𝐴𝑥
∀x □Ax⊃ □∀x Ax

جستارهای پیونددار actualism

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