Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Barcan_formula> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Barcan_formula abstract "In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulas) (i) syntactically state principles or 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, and the converse Buridan formula.".
- Barcan_formula wikiPageExternalLink Barcan.pdf.
- Barcan_formula wikiPageExternalLink ContingentObjectsAndBF.pdf.
- Barcan_formula wikiPageID "245298".
- Barcan_formula wikiPageLength "2893".
- Barcan_formula wikiPageOutDegree "9".
- Barcan_formula wikiPageRevisionID "676977693".
- Barcan_formula wikiPageWikiLink Actualism.
- Barcan_formula wikiPageWikiLink Antecedent_(logic).
- Barcan_formula wikiPageWikiLink Buridan_formula.
- Barcan_formula wikiPageWikiLink Category:Modal_logic.
- Barcan_formula wikiPageWikiLink Commutative_property.
- Barcan_formula wikiPageWikiLink Converse_Buridan_formula.
- Barcan_formula wikiPageWikiLink English_language.
- Barcan_formula wikiPageWikiLink Modal_logic.
- Barcan_formula wikiPageWikiLink Ruth_Barcan_Marcus.
- Barcan_formula wikiPageWikiLinkText "Barcan formula".
- Barcan_formula hasPhotoCollection Barcan_formula.
- Barcan_formula wikiPageUsesTemplate Template:Logic-stub.
- Barcan_formula wikiPageUsesTemplate Template:Reflist.
- Barcan_formula subject Category:Modal_logic.
- Barcan_formula comment "In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulas) (i) syntactically state principles or 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.".
- Barcan_formula label "Barcan formula".
- Barcan_formula sameAs m.01kh_j.
- Barcan_formula sameAs Q4859826.
- Barcan_formula sameAs Q4859826.
- Barcan_formula wasDerivedFrom Barcan_formula?oldid=676977693.
- Barcan_formula isPrimaryTopicOf Barcan_formula.