← Back to search

Meaning of Barcan formula | Babel Free

Noun CEFR B2

Definitions

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".

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Bărcănești barcarole barcarolle Barcău Barcelo Barcelona