Buridan formula (English, name)
expansion: the Buridan formula
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: In quantified modal logic, the formula ◇∀xFx→∀x◇Fx, meaning "if possibly everything is F, then everything is possibly F".
Forms:
form: the Buridan formula
tags: canonical