Kripke semantics

GPTKB entity

Statements (27)
Predicate Object
gptkbp:instanceOf formal semantics
gptkbp:alsoKnownAs relational semantics
gptkbp:appliesTo gptkb:logic
intuitionistic logic
gptkbp:basisFor gptkb:logic
dynamic logic
model checking
deontic logic
epistemic logic
intuitionistic Kripke models
gptkbp:component accessibility relation
set of possible worlds
valuation function
gptkbp:describes possible worlds
https://www.w3.org/2000/01/rdf-schema#label Kripke semantics
gptkbp:influenced gptkb:logic
computer science
philosophy of language
gptkbp:introducedIn 1959
gptkbp:namedAfter gptkb:Saul_Kripke
gptkbp:relatedTo algebraic semantics
possible world semantics
gptkbp:usedFor interpreting modal operators
modeling necessity and possibility
gptkbp:uses accessibility relation
gptkbp:bfsParent gptkb:Saul_Kripke
gptkbp:bfsLayer 4