Prolegomena to dynamic logic for belief revision

Synthese

Volumn 147, Issue 2, 2005, Pages 229-275

  Van Ditmarsch, Hans P ^a  

^a UNIVERSITY OF OTAGO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 28844505692     PISSN: 00397857     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11229-005-1349-7     Document Type: Conference Paper

References (53)

1. Alchourrón, C., P. Gärdenfors, and D. Makinson: 1985, 'On the Logic of Theory Change: Partial Meet Contraction and Revision Functions', Journal of Symbolic Logic 50, 510-530.
2. Asheim, G. and Y. Søavik: 2005, 'Preference-Based Belief Operators', Mathematical Social Sciences 50(1), 61-82.
3. Aucher, G.: 2003, 'A Combined System for Update Logic and Belief Revision', Master's thesis, ILLC, University of Amsterdam, Amsterdam, the Netherlands.
4. Aucher, G.: 2005a, 'A Combined System for Update Logic and Belief Revision'. In M. Barley and N. Kasabov (eds.), Intelligent Agents and Multi-Agent Systems - 7th Pacific Rim International Workshop on Multi-Agents (PRIMA 2004). pp. 1-17, Springer. LNAI 3371.
5. Aucher, G.: 2005b, 'How Our Beliefs Contribute To Interpret Actions', To appear in the Proceedings of CEEMAS, see www.ceemas.org/ceemas05/.
6. Baltag, A.: 2002, 'A Logic for Suspicious Players: Epistemic Actions and Belief Updates in Games', Bulletin of Economic Research 54(1), 1-45.
7. Baltag, A. and L. Moss: 2004, 'Logics for Epistemic Programs', Synthese 139, 165-224.
8. Knowledge, Rationality and Action 1-60.
9. Baltag, A., L. Moss, and S. Solecki: 1998, 'The Logic of Common Knowledge, Public Announcements, and Private Suspicions'. In I. Gilbao (ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98), pp. 43-56.
10. Board, O.: 2004, 'Dynamic Interactive Epistemology', Games and Economic Behaviour 49, 49-80.
11. Bonanno, G.: 2005, 'A Simple Modal Logic for Belief Revision', Knowledge, Rationality and Action, this volume.
12. Cantwell, J.: 2005, 'A Formal Model of Multi-Agent Belief-Interaction', Journal of Logic, Language, and Information. To appear.
13. Darwiche, A. and J. Pearl: 1997, 'On the Logic of Iterated Belief Revision', Artificial Intelligence 89 (1-2), 1-29.
14. Fagin, R., J. Halpern, Y. Moses, and M. Vardi: 1995, Reasoning about Knowledge, MIT Press, Cambridge MA.
15. Ferguson, D. and W. Labuschagne: 2002, 'Information-Theoretic Semantics for Epistemic Logic', In Proceedings of LOFT 5. Turin, Italy, ICER.
16. Gärdenfors, P.: 1986, 'Belief Revisions and the Ramsey test for Conditionals', The Philosophical Review XCV(1), 81-93.
17. Gärdenfors, P.: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, MIT Press, Cambridge, MA.
18. Gerbrandy, J.: 1999, 'Bisimulations on Planet Kripke', Ph.D. thesis, University of Amsterdam. ILLC Dissertation Series DS-1999-01.
19. Gerbrandy, J. and W. Groeneveld: 1997, 'Reasoning about Information Change', Journal of Logic, Language, and Information 6, 147-169.
20. Grove, A.: 1988, 'Two Modellings for Theory Change', Journal of Philosophical Logic 17, 157-170.
21. Halpern, J.: 2001, 'Lexicographic Probability, Conditional Probability, and Nonstandard probability', In Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 8), pp. 17-30.
22. Halpern, J.: 2003, Reasoning about Uncertainty. MIT Press, Cambridge MA.
23. Herzig, A., J. Lang, and P. Marquis: 2005, 'Revision and Update in Multiagent Belief Structures', Manuscript, also presented at the LOFT 6 conference, see http://www.econ.ucdavis.edu/faculty/bonanno/LOFT6.html.
24. Ibn Khaldun: 1938, Les prolégoménes d'Ibn Khaldoun, traduits en français et commentés par M. de Slane. Paris: Librairie Orientaliste Paul Geuthner. Three volumes, published in 1934, 1936, and 1938.
25. Konieczny, S. and R. P. Pérez: 2002, 'Merging Information under Constraints: A Logical Framework', Journal of Logic and Computation 12(5), 773-808.
26. Kooi, B.: 2003, 'Knowledge, Chance, and Change', Ph.D. thesis, University of Groningen. ILLC Dissertation Series DS-2003-01.
27. Kraus, S. and D. Lehmann: 1988, 'Knowledge, Belief and Time', Theoretical Computer Science 58.
28. Kraus, S., D. Lehmann, and M. Magidor: 1990, 'Nonmonotonic Reasoning, Preferential Models and Cumulative Logics', Artificial Intelligence 44, 167-207.
29. Lenzen, W: 2003, 'Knowledge, Belief, and Subjective Probability: Outlines of a Unified System of Epistemic/Doxastic Logic', In V. Hendricks, K. Jorgensen, and S. Pedersen (eds.), Knowledge Contributors, Dordrecht, pp. 17-31, Kluwer Academic Publishers, Synthese Library Volume 322.
30. Lewis, D.: 1973, Counterfactuals, Harvard University Press, Cambridge MA.
31. Lindström, S. and W. Rabinowicz: 1999, 'DDL Unlimited: Dynamic Doxastic Logic for Introspective Agents', Erkenntnis 50, 353-385.
32. Liu, F.: 2004, 'Dynamic Variations: Update and Revision for Diverse Agents', Master's thesis, ILLC, University of Amsterdam, Amsterdam, the Netherlands.
33. Meyer, J.-J. and W. van der Hoek: 1995, Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science Vol. 41. Cambridge University Press, Cambridge.
34. Meyer, T.: 2001, 'Basic Infobase Change', Studia Logica 67, 215-242.
35. Meyer, T., W. Labuschagne, and J. Heidema: 2000, 'Refined Epistemic Entrenchment', Journal of Logic, Language, and Information 9, 237-259.
36. Moses, Y. O., D. Dolev, and J. Y. Halpern: 1986, 'Cheating Husbands and Other Stories: A Case Study in Knowledge, Action, and Communication', Distributed Computing 1(3), 167-176.
37. Plaza, J.: 1989, 'Logics of Public Communications', In M. Emrich, M. Pfeifer, M. Hadzikadic, and Z. Ras (eds.), Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201-216.
38. Segerberg, K.: 1989, A Note on an Impossibility Theorem of Gärdenfors', Noûs 23, 351-354.
39. Segerberg, K.: 1999a, 'Default Logic as Dynamic Doxastic Logic', Erkenntnis 50, 333-352.
40. Segerberg, K.: 1999b, 'Two Traditions in the Logic of Belief: Bringing them Together', In H. Ohlbach and U. Reyle (eds.), Logic, Language, and Reasoning, Kluwer Academic Publishers, Dordrecht, pp. 135-147.
41. Spohn, W.: 1988, 'Ordinal Conditional Functions: A Dynamic Theory of Epistemic States', In W. Harper and B. Skyrms (eds.), Causation in Decision, Belief Change, and Statistics, Vol. II, pp. 105-134.
42. Stalnaker, R.: 1996, 'Knowledge, Belief and Counterfactual Reasoning in Games', Economics and Philosophy 12, 133-163.
43. ten Cate, B.: 2002, 'Internalizing Epistemic Actions', In M. Martinez (ed.), Proceedings of the NASSLLI-2002 Student Session, Stanford University.
44. van Benthem, J.: 1996, Exploring Logical Dynamics. CSLI Publications.
45. van Benthem, J.: 2002, 'One is a Lonely Number: On the Logic of Communication', Technical report, ILLC, University of Amsterdam. Report PP-2002-27 (material presented at the Logic Colloquium 2002).
46. van Benthem, J.: 2003, 'Qualitative Belief Revision'. Manuscript.
47. van Benthem, J., J. van Eijck, and B. Kooi: 2005, 'Logics of Communication and Change'. Manuscript.
48. van Ditmarsch, H.: 2000, 'Knowledge Games'. Ph.D. thesis, University of Groningen. ILLC Dissertation Series DS-2000-06.
49. van Ditmarsch, H.: 2002, 'Descriptions of Game Actions', Journal of Logic, Language and Information 11 349-365.
50. van Ditmarsch, H. and B. Kooi: 2005, The Secret of My Success', Synthese. To appear.
51. van Ditmarsch, H. and W. Labuschagne: 2003, A Multimodal Language for Revising Defeasible Beliefs', In E. Alvarez, R. Bosch, and L. Villamil (eds.), Proceedings of the 12th International Congress of Logic, Methodology, and Philosophy of Science (LMPS), Oviedo University Press, pp. 140-141.
52. van Ditmarsch, H., W. van der Hoek, and B. Kooi: 2003, 'Concurrent Dynamic Epistemic Logic', In V. Hendricks, K. Jørgensen, and S. Pedersen (eds.), Knowledge Contributors, Kluwer Academic Publishers, Dordrecht, pp. 45-82, Synthese Library Volume 322.
53. van Ditmarsch, H., W. van der Hoek, and B. Kooi: 2004, 'Public Announcements and Belief Expansion', In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing (eds.), Proceedings of AiML-2004 (Advances in Modal Logic), University of Manchester, pp. 62-73.