Barcan formula
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Introduced by the logician Ruth Barcan Marcus.
Proper noun[edit]
- (logic) In quantified modal logic, the formula , meaning "if every x is necessarily F, then it is necessary that every x is F".