Modal Correspondence Theory

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:philosophy
gptkbp:appliesTo non-normal modal logics
normal modal logics
gptkbp:concerns relationship between modal logic and possible worlds semantics
correspondence between modal formulas and frame conditions
gptkbp:describes how modal axioms correspond to properties of accessibility relations
gptkbp:field gptkb:logic
gptkb:philosophy
https://www.w3.org/2000/01/rdf-schema#label Modal Correspondence Theory
gptkbp:influencedBy algebraic logic
model theory
gptkbp:notableFigure gptkb:Johan_van_Benthem
gptkb:Saul_Kripke
gptkbp:relatedTo gptkb:Kripke_semantics
possible worlds
frame conditions
gptkbp:bfsParent gptkb:Johan_van_Benthem
gptkbp:bfsLayer 5