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