Conference item icon

Conference item

Categories for dynamic epistemic logic

Abstract:

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 categories, we then reformulate the semantics of DEL in a more categorical and algebraic form. Several virtues of the new formulation will be demonstrated: The DEL idea of updating a model into another is ...

Expand abstract
Publication status:
Published
Peer review status:
Reviewed (Other)
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.4204/EPTCS.251.26

Authors


More by this author
Department:
Kellogg College
Publisher:
Electronic Proceedings in Theoretical Computer Science Publisher's website
Publication date:
2017-07-05
Acceptance date:
2017-05-24
DOI:
Pubs id:
pubs:698538
URN:
uri:43f5c1d2-75ac-4fb0-b3b9-b32e2d1a9c1a
UUID:
uuid:43f5c1d2-75ac-4fb0-b3b9-b32e2d1a9c1a
Local pid:
pubs:698538

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP