Two-dimensional Kripke Semantics
Alex Kavvos ( University of Bristol )
- 14:00 1st March 2024 ( week 7, Hilary Term 2024 )Lecture Theatre A
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory have led to a second way of studying modalities, namely through their categorical semantics. We show how the two correspond.