In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulas) (i) syntactically state principles of interchange between quantifiers and modalities; (ii) semantically state a relation between domains of possible worlds. The formulas were introduced as axioms by Ruth Barcan Marcus, in the first extensions of modal propositional logic to include quantification. Related formulas include the Buridan formula.
| Attributes | Values |
|---|
| rdfs:label
| - Barcan-Formel (de)
- Barcan formula (en)
- Fórmula de Barcan (es)
- Formula di Barcan (it)
|
| rdfs:comment
| - Die Barcan-Formeln sind Schemata der quantifizierten Modallogik. Sie drücken syntaktisch Prinzipien der Interaktion von Quantoren und Modaloperatoren aus; deren semantische Entsprechung ist eine Beziehung zwischen Gegenstandsbereichen möglicher Welten. Benannt sind sie nach der amerikanischen Philosophin Ruth Barcan Marcus, die sie als Axiome ihrer Erweiterung propositionaler Modallogik durch Quantifikation einführte. (de)
- In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulas) (i) syntactically state principles of interchange between quantifiers and modalities; (ii) semantically state a relation between domains of possible worlds. The formulas were introduced as axioms by Ruth Barcan Marcus, in the first extensions of modal propositional logic to include quantification. Related formulas include the Buridan formula. (en)
- En la lógica modal cuantificada, la fórmula de Barcan y la fórmula de Barcan inversa (más exactamente, esquemas en lugar de fórmulas) (i) establecen sintácticamente principios de intercambio entre cuantificadores y modalidades; (ii) establecen semánticamente una relación entre dominios de mundos posibles. Las fórmulas fueron introducidas como axiomas por Ruth Barcan Marcus, en las primeras extensiones de la lógica modal proposicional para incluir la cuantificación. Las fórmulas relacionadas incluyen la . (es)
- In logica modale, la formula di Barcan e l'inverso della formula di Barcan definiscono una relazione tra quantificatori e operatori modali. (it)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - Die Barcan-Formeln sind Schemata der quantifizierten Modallogik. Sie drücken syntaktisch Prinzipien der Interaktion von Quantoren und Modaloperatoren aus; deren semantische Entsprechung ist eine Beziehung zwischen Gegenstandsbereichen möglicher Welten. Benannt sind sie nach der amerikanischen Philosophin Ruth Barcan Marcus, die sie als Axiome ihrer Erweiterung propositionaler Modallogik durch Quantifikation einführte. (de)
- In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulas) (i) syntactically state principles of interchange between quantifiers and modalities; (ii) semantically state a relation between domains of possible worlds. The formulas were introduced as axioms by Ruth Barcan Marcus, in the first extensions of modal propositional logic to include quantification. Related formulas include the Buridan formula. (en)
- En la lógica modal cuantificada, la fórmula de Barcan y la fórmula de Barcan inversa (más exactamente, esquemas en lugar de fórmulas) (i) establecen sintácticamente principios de intercambio entre cuantificadores y modalidades; (ii) establecen semánticamente una relación entre dominios de mundos posibles. Las fórmulas fueron introducidas como axiomas por Ruth Barcan Marcus, en las primeras extensiones de la lógica modal proposicional para incluir la cuantificación. Las fórmulas relacionadas incluyen la . (es)
- In logica modale, la formula di Barcan e l'inverso della formula di Barcan definiscono una relazione tra quantificatori e operatori modali. (it)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is notableIdea
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)