Los puntos clave no están disponibles para este artículo en este momento.
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.
Biernacka et al. (Tue,) studied this question.