barcan formula
Word Rarity
Very rare
Frequency: Zipf frequency 0.00 in modern English
22
Scrabble Score
13
Letters
5
Syllables
10
Unique Chars
Meaning
name
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".
Etymology
Inflected Forms
the Barcan formula (canonical)