Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03804746n
Noun Concept
Categories: Mathematical logic, Sheaf theory, Modal logic, Non-classical logic, Philosophical logic
EN
Kripke semantics  Filtered model  Kripke-Joyal semantics  Kripke frame  Kripke model
EN
Kripke semantics is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal. Wikipedia
Definitions
Relations
Sources
EN
Kripke semantics is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal. Wikipedia
Semantics for modal logics Wikidata
IS A
logic model
NAMED AFTER
Saul Kripke
STUDIED BY
category theory
Wikipedia
EN
Kripke semantics
Wikidata
EN
Kripke semantics
Wikipedia Redirections
EN
Filtered model, Kripke-Joyal semantics, Kripke frame, Kripke model, Kripke Semantics, Kripke–Joyal semantics, P-morphism, relational semantics, semantics of modal logic, Unravelling (logic)

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License