411 REFERENCE · Wiktionary
Barcan formula
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Introduced by the logician Ruth Barcan Marcus.
Proper noun
1
en logic In quantified modal logic, the formula , meaning "if every x is necessarily F, then it is necessary that every x is F".
en eponyms