| Property |
Value |
| dbo:abstract
|
- En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. (fr)
- En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. (fr)
|
| dbo:namedAfter
| |
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 26289 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:auteur
|
- Brian F. Chellas (fr)
- Brian F. Chellas (fr)
|
| prop-fr:fr
|
- Logique du temps arborescent (fr)
- Logique du temps arborescent (fr)
|
| prop-fr:langue
| |
| prop-fr:ref
|
- Référence:Modal logic, an introduction (fr)
- Référence:Modal logic, an introduction (fr)
|
| prop-fr:texte
|
- logique CTL (fr)
- logique CTL (fr)
|
| prop-fr:titre
|
- Modal logic, an introduction (fr)
- Modal logic, an introduction (fr)
|
| prop-fr:trad
|
- Computation tree logic (fr)
- Computation tree logic (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Cambridge University Press (fr)
- Cambridge University Press (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. (fr)
- En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. (fr)
|
| rdfs:label
|
- Sémantique de Kripke (fr)
- クリプキ・モデル (ja)
- 关系语义 (zh)
- Sémantique de Kripke (fr)
- クリプキ・モデル (ja)
- 关系语义 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
