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. 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.
Read more about Kripke Semantics: Semantics of Modal Logic, Semantics of Intuitionistic Logic, Model Constructions, General Frame Semantics, Computer Science Applications, History and Terminology
Famous quotes containing the word kripke:
“Let’s call something a rigid designator if in every possible world it designates the same object, a non-rigid or accidental designator if that is not the case. Of course we don’t require that the objects exist in all possible worlds.... When we think of a property as essential to an object we usually mean that it is true of that object in any case where it would have existed. A rigid designator of a necessary existent can be called strongly rigid.”
—Saul Kripke (b. 1940)