Kripke frame

E949472
mathematical structure semantic structure in modal logic

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.

Try in SPARQL Jump to: Surface forms Statements Referenced by

Observed surface forms (2)

Surface form Occurrences
Kripke model 1
Kripke structures 1

Statements (48)

Predicate Object
instanceOf mathematical structure ⓘ
semantic structure in modal logic ⓘ
appliedIn computer science ⓘ
formal epistemology ⓘ
program verification ⓘ
canHaveProperty Euclidean accessibility relation ⓘ
reflexive accessibility relation ⓘ
serial accessibility relation ⓘ
symmetric accessibility relation ⓘ
transitive accessibility relation ⓘ
correspondsTo normal modal logic systems via frame conditions ⓘ
system S4 via reflexive and transitive frames ⓘ
system S5 via equivalence relation frames ⓘ
system T via reflexive frames ⓘ
distinguishedFrom Kripke model which also includes a valuation function ⓘ
formalDefinition pair (W,R) where W is a nonempty set and R is a binary relation on W ⓘ
generalizes relational models for necessity and possibility ⓘ
hasAccessibilityRelationType binary relation on W × W ⓘ
hasComponent accessibility relation ⓘ
set of possible worlds ⓘ
hasComponentRole accessibility relation represents reachability between worlds ⓘ
worlds represent possible states or situations ⓘ
hasConstraint W is usually required to be nonempty ⓘ
hasDomain set W of possible worlds ⓘ
hasNotation (W,R) ⓘ
hasRelation binary relation R on W ⓘ
introducedInField mathematical logic ⓘ
philosophical logic ⓘ
namedAfter Saul Kripke NERFINISHED ⓘ
provides relational semantics for modal logics ⓘ
relatedConcept Kripke model NERFINISHED ⓘ
Kripke semantics NERFINISHED ⓘ
usedFor interpreting deontic operators ⓘ
interpreting knowledge operators ⓘ
interpreting modal operators ⓘ
interpreting necessity ⓘ
interpreting possibility ⓘ
interpreting temporal operators ⓘ
usedIn deontic logic ⓘ
dynamic logic ⓘ
epistemic logic ⓘ
intuitionistic logic ⓘ
modal logic ⓘ
temporal logic ⓘ
usedToDefine truth of modal formulas at worlds ⓘ
usedToStudy bisimulation between models ⓘ
completeness of modal logics ⓘ
correspondence theory in modal logic ⓘ

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Semantical Considerations on Modal Logic → hasConcept → Kripke frame ⓘ
Semantical Considerations on Modal Logic → hasConcept → Kripke frame ⓘ
this entity surface form: Kripke model
CTL* → semanticsDefinedOver → Kripke frame ⓘ
this entity surface form: Kripke structures