10 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Relational Dualities and Bisimulation
Piotr Kozicki, Alex Kavvos
The Kripke semantics of various logics arises via categorical dualities between a category of relational frames and their maps, and a category of algebras and logical homomorphisms…
cs.LO2016★ 10 cited
Dual-Context Calculi for Modal Logic
G. A. Kavvos
We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-c…