Modal logic + Kripke frames

Layer 0 — Mathematicsin the proof-theory subtree

Kripke 1959 / 1963 possible-worlds-semantics for modal-logic ◻ / ◊. K / T / S4 / S5 systems. Bridges to L5 philosophy + computer-science (temporal + epistemic logic).