This HTML5 document contains 27 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n5https://global.dbpedia.org/id/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Sahlqvist_formula
rdfs:label
Sahlqvist formula Formule de Sahlqvist
rdfs:comment
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 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é.
dcterms:subject
dbc:Modal_logic
dbo:wikiPageID
917633
dbo:wikiPageRevisionID
743964821
dbo:wikiPageWikiLink
dbr:Reflexive_relation dbr:Transitive_relation dbr:First-order_logic dbr:Dense_order dbr:Church–Rosser_theorem dbc:Modal_logic dbr:Kripke_semantics dbr:Symmetric_relation dbr:Henrik_Sahlqvist dbr:Modal_logic
owl:sameAs
n5:2rBy6 freebase:m.03prvy wikidata:Q3077634 dbpedia-fr:Formule_de_Sahlqvist
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é. 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.
gold:hypernym
dbr:Kind
prov:wasDerivedFrom
wikipedia-en:Sahlqvist_formula?oldid=743964821&ns=0
dbo:wikiPageLength
5195
foaf:isPrimaryTopicOf
wikipedia-en:Sahlqvist_formula