more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 16186

[filed under theme 4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula ]

Full Idea

The Barcan Formula and its converse gives expression to the most straightforward way of combining modal operators with classical quantification.

Gist of Idea

The Barcan Formulas express how to combine modal operators with classical quantifiers

Source

Ori Simchen (The Barcan Formula and Metaphysics [2013], §1)

Book Ref

-: 'Theoria' [-], p.1