Search
❯
Dec 26, 20251 min read
A Kripke frame plus a valuation of atomic propositions at each world.