Categories for dynamic epistemic logic
The primary goal of this paper is to recast the conventional semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and a category of Kripke frames, with some reference to duality results. Using these categori...
প্রধান লেখক: | |
---|---|
বিন্যাস: | Conference item |
প্রকাশিত: |
Electronic Proceedings in Theoretical Computer Science
2017
|