2 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Proceedings of the Fourth International Conference on Applied Category Theory
Kohei Kishida
The Fourth International Conference on Applied Category Theory took place at the Computer Laboratory of the University of Cambridge on 12--16 July 2021. It was a hybrid event, with…
cs.LO2017★ 2 cited
Categories for Dynamic Epistemic Logic
Kohei Kishida
The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category…