A formal model of multi-agent belief-interaction

Journal of Logic, Language and Information

Volumn 14, Issue 4, 2005, Pages 397-422

  Cantwell, John ^a  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Belief revision; Common announcements; Common knoweledge; Dynamic logic; Epistemic logic

Indexed keywords

EID: 27844543245     PISSN: 09258531     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10849-005-4019-8     Document Type: Article

References (18)

1. Alchourrón, C., Gärdenfors, P., and Makinson, D., 1985, "On the logic of theory change: Partial meet functions for contraction and revision," Journal of Symbolic Logic 50, 510-530.
2. Baltag, A. and Moss, L.S., 2004, "Logics for epistemic programs," Knowledge, Rationality and Action 1-60.
3. Baltag, A., Moss, L.S., and Solecki, S., 1999, "The logic of public announcements, common knowledge, and private suspicions," Technical report CWI.
4. Cantwell, J., 1999, "Some logics of iterated revision," Studio Logica 7, 49-84.
5. Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M.Y., 1995, Reasoning About Knowledge. MIT Press.
6. Fuhrmann, A., 1989, "Reflective modalities and theory change," Synthese 81, 115-134.
7. Furhmann, A., 1990, "On the modal logic of theory change," in A. Furhmann and M. Morreau (eds.), Lecture notes in artificial intelligence 465, pages 258-281. Springer Verlag.
8. Gerbrandy, J., 1999, Bisimulations on planet Kripke. Ph.D dissertation, University of Amsterdam, LLC dissertation series, Amsterdam.
9. Gerbrandy, J. and Groeneveld, W., 1997, "Reasoning about information change," Journal of Logic, Language and Information 6, 147-169.
10. Grove, A., 1988, "Two modellings for theory change," Journal of Philosophical Logic 17, 157-170.
11. Katsuno, H. and Mendelzon, A., 1992, "On the difference between updating a knowledge base and revising it," in Gärdenfors, P. (ed.), Belief Revision, pp. 183-203. Cambridge University Press, Cambridge.
12. Kooi, B.P., 2003, Knowledge, Chance and Change. PhD dissertation, University of Groningen, ILLC Dissertation Services, Amsterdam.
13. Lindström, S. and Rabinowicz, W., 1999, "DDL unlimited: Dynamic Doxastic Logic for introspective agents," Erkenntnis 50, 353-385.
14. Moss, L.S., 1999, "From hypersets to Kripke models in logics of announcements," in J. Gerbrandy et al. (eds.), JFAK. Essay dedicated to Johan van Benthem on the occasion of his fiftieth birthday. Amsterdam University Press.
15. Plaza, J., 1989, "Logics of public communications," in Proceedings, 4th International Symposium on Methodologies for Intelligent Systems.
16. Segerberg, K., 1998, "Irrevocable belief revision in dynamic doxastic logic," Notre Dame Journal of Formal Logic 39, 287-306.
17. Sen, A.K., 1971, "Choice functions and revealed preference," Review of Economic Studies 38, 307-317.
18. Veltman, F., 1996, "Defaults in update semantics," Journal of Philosophical Logic 25, 221-261.