converse of Barcan formula
دیسه‌ای
□∀𝑥 𝐴𝑥 ⊃ ∀𝑥 □𝐴𝑥
□∀x Ax ⊃ ∀x □Ax


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