Kripke semantics
Top View
- Categories for Dynamic Epistemic Logic
- Structures for Epistemic Logic
- Epistemic Logic and Information Update
- Kripke Models
- Categorical and Kripke Semantics for Constructive Modal Logics
- Lecture Notes on Classical Modal Logic
- There Is More to Negation Than Modality∗
- Download Article (PDF)
- A Logic for Epistemic Two-Dimensional Semantics
- Fully Structured Proof Theory for Intuitionistic Modal Logics Sonia Marin, Marianela Morales
- Topos Semantics for Higher-Order Modal Logic
- An Internal Semantics for Modal Logic: Preliminary Report
- Modal Logic: a Semantic Perspective
- On the Logic of Common Belief and Common Knowledge
- Kripke Semantics for Intuitionistic Łukasiewicz Logic
- Topos Semantics for Higher-Order Modal Logic
- A Canonical Model for Presheaf Semantics
- The World Is Not Enough: an Enquiry Into Realism About Modality