A model for updates in a multi-agent setting

Journal of Applied Non-Classical Logics

Volumn 17, Issue 2, 2007, Pages 183-196

  Cantwell, John ^a  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Common announcements; Multi agent belief revision; Updates

Indexed keywords

EID: 84886690328     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.17.183-196     Document Type: Article

References (16)

1. Alchourrón C., Gärdenfors P., Makinson D., "On the logic of theory change: Partial meet functions for contraction and revision", Journal of Symbolic Logic, vol. 50, pp. 510-530, 1985.
2. Baltag A., Moss L. S., "Logics for Epistemic Programs", Knowledge, Rationality and Action, vol. 139, num. 2, pp. 165-224, 2004. (Pubitemid 44775714)
3. Baltag A., Moss L. S., Solecki S., "The Logic of Public Announcements, Common Knowledge, and Private Suspicions", Technical report CWI, 1999.
4. Cantwell J., "A formal-model of multi-agent belief interaction", Journal of Logic, Language and Information, 2005. To appear.
5. Fagin R., Halpern J. Y.,Moses Y., VardiM. Y., Reasoning About Knowledge,MIT Press, 1995.
6. Gerbrandy J., Bisimulations on planet Kripke, Ph.D dissertation, University of Amsterdam, ILLC dissertation series, Amsterdam, 1999.
7. Gerbrandy J., Groeneveld W., "Reasoning about information change", Journal of Logic, Language and Information, vol. 6, pp. 147-169, 1997.
8. Halpern, Fagin, "Modelling Knowledge and Action in Distributed Systems", ICCONC: Concurrency 88: International Conference on Concurrency, LNCS 335, Springer-Verlag, 1988.
9. Joyce J., The foundations of causal decision theory, Cambridge University Press, Cambridge, 1999.
10. Katsuno H., Mendelzon A., "On the difference between updating a knowledge base and revising it", in P. Gärdenfors (ed.), Belief Revision, Cambridge University Press, Cambridge, pp. 183-203, 1992.
11. Kooi B. P., Knowledge, Chance and Change, PhD dissertation, University of Groningen, ILLC Dissertation Services, Amsterdam, 2003.
12. Levi I., For the sake of the argument, Cambridge University Press, Cambridge, 1996.
13. Lewis D., Counterfactuals, Harvard University Press, Cambridge, 1973.
14. Moss L. S., "From Hypersets to Kripke models in logics of announcements", in J. G. et al. (ed.), JFAK. Essay dedicated to Johan van Benthem on the occasion of his fiftieth birthday, Amsterdam University Press, 1999.
15. Plaza J., "Logics of public communications", Proceedings, 4th International Symposium on Methodologies for Intelligent Systems, 1989.
16. Segerberg K., "A general framework for the logic of theory change", Bulletin of the Section of Logic, vol. 25, pp. 2-8, 1996.