The story
Introduced by the logician Ruth Barcan Marcus.
Etymology from Wiktionary, CC BY-SA 4.0.
Barcan formula
Today it means: In quantified modal logic, the formula ∀x□Fx→□∀xFx, meaning "if every x is necessarily F, then it is necessary that every x is F". Full definition →