Expressivity and completeness for public update logics via reduction axioms

Journal of Applied Non-Classical Logics

Volumn 17, Issue 2, 2007, Pages 231-253

  Kooi, Barteld ^a  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Dynamic epistemic logic; Reduction axioms; Speech acts; Updates

Indexed keywords

EID: 84886644857     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.17.231-253     Document Type: Article

References (31)

1. Austin J. L., How to Do Things with Words, the William James Lectures Delivered at Harvard University in 1955, Oxford University Press, London, 1962. edited by J.O. Urmson.
2. Baader F., Nipkow T., Term Rewriting and All That, Cambridge University Press, 1998.
3. Baltag A., "A logic for suspicious players: epistemic action and belief-updates in games", Bulletin of Economic Research, vol. 54, num. 1, pp. 1-45, 2002.
4. Baltag A., Moss L. S., "Logics for epistemic programs", Synthese, vol. 139, pp. 165-224, 2004. (Pubitemid 44775714)
5. Baltag A.,Moss L. S., Solecki S., The logic of public announcements, common knowledge, and private suspicions, Technical Report num. SEN-R9922, CWI, Amsterdam, 1999.
6. Blackburn P., de Rijke M., Venema Y., Modal Logic, Cambridge University Press, 2001.
7. Fagin R., Halpern J. Y., Moses Y., Vardi M. Y., Reasoning about Knowledge, The MIT Press, Cambridge, Massachusetts, 1995.
8. Freudenthal H., "Formulering van het 'som-en-product'- probleem", Nieuw Archief voor Wiskunde, vol. 17, pp. 152, 1969.
9. Freudenthal H., "Oplossing van het 'som-en-product'-probleem", Nieuw Archief voor Wiskunde, vol. 18, pp. 102-106, 1970.
10. Gerbrandy J. D., Bisimulations on Planet Kripke, PhD thesis, University of Amsterdam, 1998. ILLC Dissertation Series DS-1999-01.
11. Gerbrandy J., Groeneveld W., "Reasoning about information change", Journal of Logic, Language, and Information, vol. 6, pp. 147-196, 1997.
12. Herzig A., Rifi O., "Propositional belief base update and minimal change", Artificial Intelligence, vol. 115, num. 1, pp. 107-138, 1999. (Pubitemid 30522973)
13. Hintikka J., Knowledge and Belief, An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca, New York, 1962.
14. Hughes G. E., Cresswell M. J., A New Introduction to Modal Logic, Routledge, London and New York, 1996.
15. Katsuno H., Mendelzon A. O., "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.
16. Kooi B. P., Knowledge, Chance, and Change, PhD thesis, University of Groningen, 2003. ILLC Dissertation Series DS-2003-01.
17. Kooi B. P., van Benthem J. F. A. K., "Reduction axioms for epistemic actions", in R. Schmidt, I. Pratt-Hartmann, M. Reynolds, H. Wansing (eds), AiML-2004: Advances in Modal Logic, Department of Computer Science, University of Manchester, Technical report series, UMCS-04-9-1, pp. 197-211, 2004.
18. Kozen D., Parikh R., "An elementary proof of the completeness of PDL", Theoretical Computer Science, vol. 14, pp. 113-118, 1981.
19. McCarthy J., "Formalization of two puzzles involving knowledge", in V. Lifschitz (ed.), Formalizing Common Sense : Papers by John McCarthy, Ablex series in artificial intelligence, Ablex Publishing Corporation, Norwood, N. J., 1990. Available online at htp:/w-formal.stanford. eu/jm
20. Meyer J.-J. C., van der Hoek W., Epistemic Logic for AI and Computer Science., Cambridge University Press, Cambridge, 1995.
21. Plaza J. A., "Logics of public communications", in M. L. Emrich, M. S. Pfeifer,M. Hadzikadic, Z. W. Ras (eds), Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201-216, 1989.
22. Renardel de Lavalette G. R., "Changing modalities", Journal of Logic and Computation, vol. 14, num. 2, pp. 251-275, 2004.
23. van Benthem J., van Eijck J., Kooi B., "Logics of communication and change", Information and Computation, vol. 204, num. 11, pp. 1620-1662, 2006. (Pubitemid 44557027)
24. van Benthem J., van Eijck J., Kooi B. P., "Common knowledge in update logics", in R. van der Meyden (ed.), Theoretical Aspects of Rationality And Knowledge: Proceedings of the Tenth Conference (TARK 2005), pp. 253-261, 2005. (Pubitemid 43206541)
25. van Ditmarsch H. P., Knowledge games, PhD thesis, University of Groningen, 2000. ILLC Dissertation Series DS-2000-06.
26. van Ditmarsch H. P., Kooi B. P., "The secret of my success", Synthese, vol. 151, num. 2, pp. 201-232, 2006.
27. van Ditmarsch H. P., Ruan J., Verbrugge L. C., "Model checking Sumand Product", in S. Zhang, R. Jarvis (eds), AI 2005, vol. 3809 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin Heidelberg, pp. 790-795, 2005a.
28. van Ditmarsch H. P., van der Hoek W., Kooi B. P., "Concurrent dynamic epistemic logic", in V. F. Hendricks, K. F. Jørgensen, S. A. Pedersen (eds), Knowledge Contributors, Kluwer Academic Publishers, Dordrecht, pp. 45-82, 2003.
29. van Ditmarsch H. P., van der Hoek W., Kooi B. P., "Dynamic epistemic logic with assignment", in F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. P. Singh, M. Wooldridge (eds), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 05), vol. 1, ACM Inc, New York, pp. 141-148, 2005b.
30. van Eijck J., Guarded Actions, Technical Report num. SEN-E0425, CWI, Amsterdam, December, 2004. Available from htp:/db. wi.nl/raporten/.
31. Yap A., Product update and looking backward, Technical Report num. PP-2006-39, ILLC, 2006. Resar hReports/Pav-a2il0ab6le-3o9n.ltineexa.tpdhftp:/w. il .uva.nl/Publi ations/.