The Algebra of Multi-Agent Dynamic Belief Revision

Electronic Notes in Theoretical Computer Science

Volumn 157, Issue 4 SPEC. ISS., 2006, Pages 37-56

  Baltag, Alexandru ^a   Sadrzadeh, Mehrnoosh ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

Algebra; Belief Revision; Dynamic Logic; Epistemic Logic; Epistemic Update; Quantale

Indexed keywords

ALGEBRA; COMPUTER SCIENCE; FORMAL LOGIC; KNOWLEDGE ENGINEERING; THEOREM PROVING;

BELIEF REVISION; DYNAMIC LOGIC; EPISTEMIC LOGIC; EPISTEMIC UPDATE; QUANTALE;

MULTI AGENT SYSTEMS;

EID: 33646698222     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.02.012     Document Type: Article

References (15)

1. Abramsky S., and Vickers S. Quantales, observational logic and process semantics. Mathematical Structures in Computer Science 3 (1993) 161-227
2. Alchourron C., Gardenfors P., and Makinson D. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic 50 (1985) 510-535
3. Aucher, G., Belief and Update Logics, Master thesis, ILLC, University of Amsterdam, Amsterdam, NL 2003
4. Baltag, A., Logics for Insecure Communication, Proceedings of Theoretical Aspects of Reasoning about Knowledge, TARK 2001
5. Baltag A., and Moss L.S. Logics for epistemic programs. Synthese 139 (2004) 165-224
6. Baltag, A., L.S. Moss and S. Solecki, The logic of public announcements, common knowledge and private suspicions, CWI Technical Report SEN-R9922, 1999
7. Baltag A. Logics for Communication: reasoning about information flow in dialogue games. lecture notes of course presented at NASSLLI'2003, URL:. http://www.nasslli.com/2003
8. Baltag, A., B. Coecke and 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
9. Baltag A., Coecke B., and Sadrzadeh M. Algebra and Sequent Calculus for Epistemic Action'. Electrical Notes in Computer Science 126 (2005) 27-52
10. Coecke B., Moore D.J., and Stubbe I. Quantaloids describing causation and propagation of physical properties. Foundations of Physics Letters 14 (2001) 133-145
11. Fagin R., Halpern J.Y., Moses Y., and Vardi M.Y. Reasoning about Knowledge (1995), MIT Press
12. Harel D., Kozen D., and Tiuryn J. Dynamic Logic (2000), MIT Press
13. Rosenthal K.I. Quantales and their Applications. Pitman Research Notes in Mathematics Series 234 (1990), Longman
14. Segeberg K. Two traditions in the logic of belief: bringing them together. Logic, Language, and Reasoning II (1999) 105-134
15. van Ditmarsch, H.P., Prologomena to Dynamic Belief Revision', under submission, 2004