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)

Actions


Access Document


Files:
Publisher copy:
10.4204/EPTCS.251.26

Authors


More by this author
Institution:
University of Oxford
Division:
Societies, Other & Subsidiary Companies
Department:
Kellogg College
Oxford college:
Kellogg College
Role:
Author
Publisher:
Electronic Proceedings in Theoretical Computer Science Publisher's website
Journal:
Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge. Journal website
Host title:
Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017)
Publication date:
2017-07-01
Acceptance date:
2017-05-24
DOI:
Source identifiers:
698538
Keywords:
Pubs id:
pubs:698538
UUID:
uuid:43f5c1d2-75ac-4fb0-b3b9-b32e2d1a9c1a
Local pid:
pubs:698538
Deposit date:
2017-06-06

Terms of use


Views and Downloads






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

TO TOP