In quantified modal logic, the Barcan formula and the converse Barcan formula state possible relationships between quantifiers and modalities. The Barcan formula is a natural axiom to consider in quantified forms of Clarence Irving Lewis's systems of modal propositional logic.. It was introduced as an axiom by Ruth Barcan Marcus, in the first extensions of modal proposiional logic to include quantification, Journ. of Symbolic Logic (1946),11 and (1947), 12 under Ruth C. Barcan.

PropertyValue
dbpprop:abstract
  • In quantified modal logic, the Barcan formula and the converse Barcan formula state possible relationships between quantifiers and modalities. The Barcan formula is a natural axiom to consider in quantified forms of Clarence Irving Lewis's systems of modal propositional logic.. It was introduced as an axiom by Ruth Barcan Marcus, in the first extensions of modal proposiional logic to include quantification, Journ. of Symbolic Logic (1946),11 and (1947), 12 under Ruth C. Barcan. Related formulas include the Buridan formula, and the converse Buridan formula.
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • In quantified modal logic, the Barcan formula and the converse Barcan formula state possible relationships between quantifiers and modalities. The Barcan formula is a natural axiom to consider in quantified forms of Clarence Irving Lewis's systems of modal propositional logic.. It was introduced as an axiom by Ruth Barcan Marcus, in the first extensions of modal proposiional logic to include quantification, Journ. of Symbolic Logic (1946),11 and (1947), 12 under Ruth C. Barcan.
rdfs:label
  • Barcan formula
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of