About: dbpedia-fr:Sémantique_de_Kripke     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

AttributesValues
rdfs:label
  • Sémantique de Kripke (fr)
  • クリプキ・モデル (ja)
  • 关系语义 (zh)
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)
rdfs:seeAlso
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/CTL_model.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/Frames.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/Kripke_frame.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/Kripke_model.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/LTL_model.png
prop-fr:année
prop-fr:auteur
  • Brian F. Chellas (fr)
prop-fr:fr
  • Logique du temps arborescent (fr)
prop-fr:langue
  • en (fr)
prop-fr:ref
  • Référence:Modal logic, an introduction (fr)
prop-fr:texte
  • logique CTL (fr)
prop-fr:titre
  • Modal logic, an introduction (fr)
prop-fr:trad
  • Computation tree logic (fr)
prop-fr:éditeur
  • Cambridge University Press (fr)
thumbnail
foaf:isPrimaryTopicOf
named after
has 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)
is dbo:wikiPageWikiLink of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software