Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Kripke_semantics> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- Kripke_semantics abstract "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 made for modal logics, and later adapted to intuitionistic logic and other non-classical systems. The discovery of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was nonexistent before Kripke.".
- Kripke_semantics wikiPageExternalLink logic-modal.
- Kripke_semantics wikiPageExternalLink logic-intuitionistic.
- Kripke_semantics wikiPageExternalLink s44.
- Kripke_semantics wikiPageExternalLink ~joan.
- Kripke_semantics wikiPageExternalLink ~rob.
- Kripke_semantics wikiPageExternalLink modalhist.pdf.
- Kripke_semantics wikiPageExternalLink Kripke1.doc.
- Kripke_semantics wikiPageID "911960".
- Kripke_semantics wikiPageRevisionID "604720688".
- Kripke_semantics hasPhotoCollection Kripke_semantics.
- Kripke_semantics id "p/k055850".
- Kripke_semantics title "Kripke models".
- 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 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 made for modal logics, and later adapted to intuitionistic logic and other non-classical systems.".
- Kripke_semantics label "Kripke semantics".
- Kripke_semantics label "Kripkemodel".
- Kripke_semantics label "Semânticas de Kripke".
- Kripke_semantics label "Sémantique de Kripke".
- Kripke_semantics label "Семантика Крипке".
- Kripke_semantics label "关系语义".
- Kripke_semantics sameAs Sémantique_de_Kripke.
- Kripke_semantics sameAs Kripkemodel.
- Kripke_semantics sameAs Semânticas_de_Kripke.
- Kripke_semantics sameAs m.03p60w.
- Kripke_semantics sameAs Q2462350.
- Kripke_semantics sameAs Q2462350.
- Kripke_semantics wasDerivedFrom Kripke_semantics?oldid=604720688.
- Kripke_semantics isPrimaryTopicOf Kripke_semantics.