converse Barcan formula

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf logical formula
gptkbp:appliesTo quantified modal logic
gptkbp:concerns necessity
possibility
domain variation
gptkbp:contrapositive ◇∀xP(x) → ∀x◇P(x)
gptkbp:discusses philosophy of language
philosophy of logic
gptkbp:field gptkb:logic
gptkbp:firstPublished 1946
https://www.w3.org/2000/01/rdf-schema#label converse Barcan formula
gptkbp:namedAfter gptkb:Ruth_Barcan_Marcus
gptkbp:relatedTo gptkb:Barcan_formula
gptkbp:symbol ∀x◇P(x) → ◇∀xP(x)
gptkbp:bfsParent gptkb:Barcan_formula
gptkbp:bfsLayer 5