Journal article icon

Journal article

The algebra of multi-agent dynamic belief revision

Abstract:

We refine our algebraic axiomatization in [A. Baltag, B. Coecke, M. Sadrzadeh, Epistemic actions as resources in Proceedings of Logics for Resources Programs Processes (LRPP) workshop in LiCS 2004, http://www.er.uqam.ca/nobel/philmath/LicsWSPROC.pdf, A. Baltag, B. Coecke, M. Sadrzadeh, Algebra and Sequent Calculus for Epistemic Action', Electrical Notes in Computer Science 126 (2005) 27–52] of epistemic actions and epistemic update (notions defined in [A. Baltag, L.S. Moss, Logics for epis...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2006.02.012

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Elsevier
Journal:
Electronic Notes in Theoretical Computer Science More from this journal
Volume:
157
Issue:
4
Pages:
37–56
Publication date:
2006-05-01
DOI:
ISSN:
1571-0661
Language:
English
Keywords:
Subjects:
UUID:
uuid:06250220-18bb-4aa0-9a7d-b31551e511af
Local pid:
ora:10653
Deposit date:
2015-03-19

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