Single Idea 16186

[catalogued under 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 Reference

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