Two-dimensional Kripke Semantics I: Presheaves
<|reference_start|>Two-dimensional Kripke Semantics I: Presheaves: 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.<|reference_end|>
@article{kavvos2024two-dimensional,
    title={Two-dimensional Kripke Semantics I: Presheaves},
    author={G. A. Kavvos},
    journal={LIPIcs, Volume 299, FSCD 2024, article 11},
    year={2024},
    doi={10.4230/LIPIcs.FSCD.2024.11},
    archivePrefix={arXiv},
    eprint={2405.04157},
    primaryClass={cs.LO math.CT math.LO}
}