Barcan formula

English

Etymology

Introduced by the logician Template:W.

Proper noun

1. Template:Lb In quantified modal logic, the formula $\mathrm{\forall }x◻Fx\to ◻\mathrm{\forall }xFx$, meaning "if every x is necessarily F, then it is necessary that every x is F".