Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Kripke_semantics> ?p ?o }
- Kripke_semantics wikiPageWikiLinkText "Kripke completeness".
- Kripke_semantics wikiPageWikiLinkText "Kripke frame".
- Kripke_semantics wikiPageWikiLinkText "Kripke frames".
- Kripke_semantics wikiPageWikiLinkText "Kripke model".
- Kripke_semantics wikiPageWikiLinkText "Kripke models".
- Kripke_semantics wikiPageWikiLinkText "Kripke semantics § Common modal axiom schemata".
- Kripke_semantics wikiPageWikiLinkText "Kripke semantics".
- Kripke_semantics wikiPageWikiLinkText "Kripke semantics#Canonical models".
- Kripke_semantics wikiPageWikiLinkText "Kripke semantics#Kripke–Joyal semantics".
- Kripke_semantics wikiPageWikiLinkText "Kripke semantics#Model constructions".
- Kripke_semantics wikiPageWikiLinkText "Kripke's".
- Kripke_semantics wikiPageWikiLinkText "Kripke-style semantics".
- Kripke_semantics wikiPageWikiLinkText "Kripke_semantics#Model_constructions".
- Kripke_semantics wikiPageWikiLinkText "S4".
- Kripke_semantics wikiPageWikiLinkText "canonical".
- Kripke_semantics wikiPageWikiLinkText "finite model property".
- Kripke_semantics wikiPageWikiLinkText "frame semantics".
- Kripke_semantics wikiPageWikiLinkText "frames".
- Kripke_semantics wikiPageWikiLinkText "modal frame".
- Kripke_semantics wikiPageWikiLinkText "model".
- Kripke_semantics wikiPageWikiLinkText "multimodal generalization of Kripke semantics".
- Kripke_semantics wikiPageWikiLinkText "possible world".
- Kripke_semantics wikiPageWikiLinkText "possible worlds semantics".
- Kripke_semantics wikiPageWikiLinkText "relational semantics".
- Kripke_semantics wikiPageWikiLinkText "semantics".
- Kripke_semantics wikiPageWikiLinkText "this table".
- Kripke_semantics id "p/k055850".
- Kripke_semantics title "Kripke models".
- Kripke_semantics wikiPageUsesTemplate Template:Commons_category.
- Kripke_semantics wikiPageUsesTemplate Template:Main.
- Kripke_semantics wikiPageUsesTemplate Template:More_footnotes.
- Kripke_semantics wikiPageUsesTemplate Template:See_also.
- Kripke_semantics wikiPageUsesTemplate Template:Springer.
- Kripke_semantics wikiPageUsesTemplate Template:Unreferenced_section.
- Kripke_semantics subject Category:Mathematical_logic.
- Kripke_semantics subject Category:Modal_logic.
- Kripke_semantics subject Category:Model_theory.
- Kripke_semantics subject Category:Non-classical_logic.
- Kripke_semantics subject Category:Philosophical_logic.
- Kripke_semantics subject Category:Sheaf_theory.
- Kripke_semantics hypernym Semantics.
- Kripke_semantics type Field.
- Kripke_semantics type Redirect.
- Kripke_semantics type Thing.
- Kripke_semantics comment "Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal. It was first conceived for modal logics, and later adapted to intuitionistic logic and other non-classical systems.".
- Kripke_semantics label "Kripke semantics".
- Kripke_semantics seeAlso Multimodal_logic.
- Kripke_semantics sameAs Q2462350.
- Kripke_semantics sameAs Sémantique_de_Kripke.
- Kripke_semantics sameAs クリプキ・モデル.
- Kripke_semantics sameAs Kripkemodel.
- Kripke_semantics sameAs Semânticas_de_Kripke.
- Kripke_semantics sameAs m.03p60w.
- Kripke_semantics sameAs Семантика_Крипке.
- Kripke_semantics sameAs Q2462350.
- Kripke_semantics sameAs 关系语义.
- Kripke_semantics wasDerivedFrom Kripke_semantics?oldid=695320208.
- Kripke_semantics isPrimaryTopicOf Kripke_semantics.