Modal Logic: Kripke Frames
Possible worlds, accessibility, and the operators □ (necessarily) and ◇ (possibly)
K (basic)
T (reflexive)
S4 (preorder)
S5 (equivalence)
Highlight world:
All