Two-dimensional Kripke Semantics I: Presheaves
Logic in Computer Science
2024-05-09 v2 Category Theory
Logic
Abstract
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.
Keywords
Cite
@article{arxiv.2405.04157,
title = {Two-dimensional Kripke Semantics I: Presheaves},
author = {G. A. Kavvos},
journal= {arXiv preprint arXiv:2405.04157},
year = {2024}
}