Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Sahlqvist_formula> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Sahlqvist_formula abstract "In modal logic, Sahlqvist formulas are a certain kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states that every Sahlqvist formula is canonical, and corresponds to a first-order definable class of Kripke frames. Sahlqvist's definition characterizes a decidable set of modal formulas with first-order correspondents. Since it is undecidable, by Chagrova's theorem, whether an arbitrary modal formula has a first-order correspondent, there are formulas with first-order frame conditions that are not Sahlqvist [Chagrova 1991] (see the examples below). Hence Sahlqvist formulas define only a (decidable) subset of modal formulas with first-order correspondents.".
- Sahlqvist_formula wikiPageID "917633".
- Sahlqvist_formula wikiPageLength "5174".
- Sahlqvist_formula wikiPageOutDegree "10".
- Sahlqvist_formula wikiPageRevisionID "657606626".
- Sahlqvist_formula wikiPageWikiLink Category:Modal_logic.
- Sahlqvist_formula wikiPageWikiLink Church–Rosser_theorem.
- Sahlqvist_formula wikiPageWikiLink Dense_order.
- Sahlqvist_formula wikiPageWikiLink First-order_logic.
- Sahlqvist_formula wikiPageWikiLink Kripke_semantics.
- Sahlqvist_formula wikiPageWikiLink Modal_logic.
- Sahlqvist_formula wikiPageWikiLink Reflexive_relation.
- Sahlqvist_formula wikiPageWikiLink Symmetric_relation.
- Sahlqvist_formula wikiPageWikiLink Transitive_relation.
- Sahlqvist_formula wikiPageWikiLinkText "Kracht's theorem".
- Sahlqvist_formula wikiPageWikiLinkText "Sahlqvist formula".
- Sahlqvist_formula wikiPageWikiLinkText "Sahlqvist formula#Kracht's theorem".
- Sahlqvist_formula subject Category:Modal_logic.
- Sahlqvist_formula hypernym Kind.
- Sahlqvist_formula comment "In modal logic, Sahlqvist formulas are a certain kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states that every Sahlqvist formula is canonical, and corresponds to a first-order definable class of Kripke frames. Sahlqvist's definition characterizes a decidable set of modal formulas with first-order correspondents.".
- Sahlqvist_formula label "Sahlqvist formula".
- Sahlqvist_formula sameAs Q3077634.
- Sahlqvist_formula sameAs Formule_de_Sahlqvist.
- Sahlqvist_formula sameAs m.03prvy.
- Sahlqvist_formula sameAs Q3077634.
- Sahlqvist_formula wasDerivedFrom Sahlqvist_formula?oldid=657606626.
- Sahlqvist_formula isPrimaryTopicOf Sahlqvist_formula.