Definitions from Wiktionary (Barcan formula)
▸ noun: (logic) 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".
▸ Words similar to Barcan formula
▸ Usage examples for Barcan formula
▸ Idioms related to Barcan formula
▸ Wikipedia articles (New!)
▸ Words that often appear near Barcan formula
▸ Rhymes of Barcan formula
▸ Invented words related to Barcan formula
▸ noun: (logic) 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".
Similar:
Buridan formula,
universal quantifier,
predicate calculus,
quantifier,
formula,
well-formed formula,
Herbrandization,
existential quantifier,
closed formula,
context,
more...
▸ Words similar to Barcan formula
▸ Usage examples for Barcan formula
▸ Idioms related to Barcan formula
▸ Wikipedia articles (New!)
▸ Words that often appear near Barcan formula
▸ Rhymes of Barcan formula
▸ Invented words related to Barcan formula