| dbo:abstract |
En logique modale, les formules de Sahlqvist (du nom du mathématicien norvégien ) constituent une classe de formules modales assortie de propriétés remarquables. Le théorème de correspondance de Sahlqvist affirme que toute formule de Sahlqvist est canonique (au sens de la sémantique de Kripke) et correspond à une classe de cadres de Kripke caractérisable par une formule en logique du premier ordre décrivant une propriété de la relation d'accessibilité. (fr) In modal logic, Sahlqvist formulas are a certain kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states that every 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. (en) |
| dbo:wikiPageID |
917633 (xsd:integer) |
| dbo:wikiPageLength |
5195 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
743964821 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Modal_logic dbr:Dense_order dbr:Kripke_semantics dbr:Transitive_relation dbr:First-order_logic dbr:Church–Rosser_theorem dbc:Modal_logic dbr:Symmetric_relation dbr:Reflexive_relation dbr:Henrik_Sahlqvist |
| dcterms:subject |
dbc:Modal_logic |
| gold:hypernym |
dbr:Kind |
| rdfs:comment |
En logique modale, les formules de Sahlqvist (du nom du mathématicien norvégien ) constituent une classe de formules modales assortie de propriétés remarquables. Le théorème de correspondance de Sahlqvist affirme que toute formule de Sahlqvist est canonique (au sens de la sémantique de Kripke) et correspond à une classe de cadres de Kripke caractérisable par une formule en logique du premier ordre décrivant une propriété de la relation d'accessibilité. (fr) In modal logic, Sahlqvist formulas are a certain kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states that every formula is canonical, and corresponds to a first-order definable class of Kripke frames. (en) |
| rdfs:label |
Formule de Sahlqvist (fr) Sahlqvist formula (en) |
| owl:sameAs |
freebase:Sahlqvist formula wikidata:Sahlqvist formula dbpedia-fr:Sahlqvist formula https://global.dbpedia.org/id/2rBy6 |
| prov:wasDerivedFrom |
wikipedia-en:Sahlqvist_formula?oldid=743964821&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Sahlqvist_formula |
| is dbo:wikiPageRedirects of |
dbr:Kracht's_theorem dbr:Sahlqvist_correspondence_theorem |
| is dbo:wikiPageWikiLink of |
dbr:Saul_Kripke dbr:List_of_mathematical_logic_topics dbr:Kripke_semantics dbr:Kracht dbr:Kracht's_theorem dbr:Sahlqvist_correspondence_theorem |
| is foaf:primaryTopic of |
wikipedia-en:Sahlqvist_formula |