Barcan formula (English, name)
expansion: the Barcan formula
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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".
Forms:
form: the Barcan formula
tags: canonical