1 paper
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…