LIPIcs.FSCD.2024.14.pdf
- Filesize: 0.86 MB
- 23 pages
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.
Feedback for Dagstuhl Publishing