20 citations · 54 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Two-dimensional Kripke Semantics II: Stability and Completeness
G. A. Kavvos
We revisit the duality between Kripke and algebraic semantics of intuitionistic and intuitionistic modal logic. We find that there is a certain mismatch between the two semantics,…
cs.LO2024
Two-dimensional Kripke Semantics I: Presheaves
G. A. Kavvos
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory…