Kripke semantics
E1097302
UNEXPLORED
Kripke semantics is a framework in modal and non-classical logic that interprets formulas via possible worlds and accessibility relations to model notions like necessity, possibility, and intuitionistic truth.
All labels observed (3)
| Label | Occurrences |
|---|---|
| Kripke semantics canonical | 3 |
| Kripkean semantics | 2 |
| Kripke structures | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14385811 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Kripke semantics Context triple: [An Introduction to Non-Classical Logic, covers, Kripke semantics]
-
A.
Fitting semantics for modal logic
Fitting semantics for modal logic is a framework in mathematical logic that extends Kripke-style semantics to provide a more general and often intuitionistic treatment of modal operators.
-
B.
Kripke frame
A Kripke frame is a mathematical structure used in modal logic, consisting of a set of possible worlds together with a relation specifying which worlds are accessible from which others.
-
C.
Semantical Considerations on Modal Logic
Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
-
D.
Kripke fixed-point theory of truth
The Kripke fixed-point theory of truth is a semantic framework developed by Saul Kripke that uses partial truth predicates and fixed points to consistently handle self-referential sentences and semantic paradoxes like the liar paradox.
-
E.
An Essay in Modal Logic
An Essay in Modal Logic is a foundational philosophical work by G. H. von Wright that systematically develops the principles and systems of modal logic.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Kripke semantics Target entity description: Kripke semantics is a framework in modal and non-classical logic that interprets formulas via possible worlds and accessibility relations to model notions like necessity, possibility, and intuitionistic truth.
-
A.
Fitting semantics for modal logic
Fitting semantics for modal logic is a framework in mathematical logic that extends Kripke-style semantics to provide a more general and often intuitionistic treatment of modal operators.
-
B.
Kripke frame
A Kripke frame is a mathematical structure used in modal logic, consisting of a set of possible worlds together with a relation specifying which worlds are accessible from which others.
-
C.
Semantical Considerations on Modal Logic
Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
-
D.
Kripke fixed-point theory of truth
The Kripke fixed-point theory of truth is a semantic framework developed by Saul Kripke that uses partial truth predicates and fixed points to consistently handle self-referential sentences and semantic paradoxes like the liar paradox.
-
E.
An Essay in Modal Logic
An Essay in Modal Logic is a foundational philosophical work by G. H. von Wright that systematically develops the principles and systems of modal logic.
- F. None of above. chosen
Referenced by (6)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Kripke semantics
subject linked to:
mu-calculus
linked to: Kripke semantics
linked to: Kripke semantics