Algebra and Sequent Calculus for Epistemic Actions (2005)
| Venue: | ENTCS PROCEEDINGS OF LOGIC AND COMMUNICATION IN MULTI-AGENT SYSTEMS (LCMAS) WORKSHOP, ESSLLI 2004 |
| Citations: | 9 - 3 self |
BibTeX
@INPROCEEDINGS{Baltag05algebraand,
author = {Alexabdru Baltag and Bob Coecke and Mehrnoosh Sadrzadeh},
title = {Algebra and Sequent Calculus for Epistemic Actions},
booktitle = {ENTCS PROCEEDINGS OF LOGIC AND COMMUNICATION IN MULTI-AGENT SYSTEMS (LCMAS) WORKSHOP, ESSLLI 2004},
year = {2005},
pages = {27--52},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii) it goes with the introduction of non-determinism, (iii) it naturally extends beyond boolean sets of propositions, up to intuitionistic and non-distributive situations, hence allowing to accommodate constructive computational, information-theoretic as well as non-classical physical settings, and (iv) introduces a structure on the actions, which now constitute a quantale. We also introduce a corresponding sequent calculus (which extends Lambek calculus), in which propositions, actions as well as agents appear as resources in a resource-sensitive dynamic-epistemic logic.
