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.
Saul Kripke | Eric Kripke | Proof-theoretic semantics | Journal of Web Semantics | Institute of General Semantics | Dorothy K. Kripke | Denotational semantics of the Actor model#Clinger's Model | Algorithms for Recovery and Isolation Exploiting Semantics |