Dynamic update with probabilities

Studia Logica

Volumn 93, Issue 1, 2009, Pages 67-96

  van Benthem, Johan ^a,b   Gerbrandy, Jelle ^c   Kooi, Barteld ^d  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b STANFORD UNIVERSITY   (United States)

^c UNIVERSITY OF TURIN   (Italy)

^d UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Dynamic epistemic logic; Jeffrey's rule; Probability; Update

Indexed keywords

EID: 70350411870     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-009-9209-y     Document Type: Article

References (31)

1. Aucher, G., 'How our beliefs contribute to interpret actions', 4th InternationalWorkshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS05) 2005. To appear in the Lecture Notes in Artificial Intelligence, Springer-Verlag.
2. Bacchus F. (1990) Representing and Reasoning with Probabilistic Knowledge, A Logical Approach to Probabilities. The MIT Press, Cambridge, MA.
3. Baltag A. (2002) 'A Logic for Suspicious Players: Epistemic Actions and Belief-Updates in Games'. Bulletin of Economic Research 54(1): 1-45.
4. Baltag, A., L. S. Moss, and S. Solecki, 'The Logic of Common Knowledge, Public Announcements', and Private Suspicions, in I. Gilboa (ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98), 1998, pp. 43-56.
5. Baltag A., Smets S. (2008) 'Probabilistic dynamic belief revision'. Synthese 165(2): 179-202.
6. Carnap R. (1952) The Continuum of Inductive Methods. The University of Chicago Press, Chicago.
7. Fagin R., Halpern J.Y. (1993) 'Reasoning about knowledge and probability'. Journal of the ACM 41(2): 340-367.
8. Fitelson, B., Studies in Bayesian Confirmation Theory, Ph. D. thesis, Department of Philosophy, University of Wisconsin, Madison, 2001.
9. Gärdenfors, P., and H. Rott, 'Belief revision, Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning, Oxford University Press, Oxford, UK, 1995, pp. 35-132.
10. Gerbrandy, J. D., Bisimulations on Planet Kripke, Ph. D. thesis, University of Amsterdam, 1998. ILLC Dissertation Series DS-1999-01.
11. Gierasimczuk, N., 'Bridging learning theory and dynamic epistemic logic', Synthese, 2009. To appear in T. Ågotnes, J. van Benthem and E. Pacuit (eds.), a special issue of Knowledge, Rationality, and Action on 'Logic and Intelligent Interaction'.
12. Grünwald P., Halpern J.Y. (2003) 'Updating Probabilities'. Journal of AI Research 19: 243-278.
13. Halpern, J. Y., Reasoning about Uncertainty, The MIT Press, 2003.
14. Halpern J.Y., Pucella R. (2006) 'A Logic for Reasoning about Evidence'. Journal of Artificial Intelligence Research 26: 1-34.
15. Halpern J.Y., Tuttle M.R. (1993) 'Knowledge, probability, and adversaries'. Journal of the ACM 40(4): 917-962.
16. Hommersom A., Meyer J.-J., de Vink E. (2005) 'Update Semantics of Security Protocols'. Synthese 142(2): 229-267.
17. Kelly K. (1996) The Logic of Reliable Inquiry. Oxford University Press, Oxford.
18. Kooi B. (2003) 'Probabilistic dynamic epistemic logic'. Journal of Logic, Language and Information 12(4): 381-408.
19. Liu, F., Changing for the Better: Preference Dynamics and Agent Diversity, Ph. D. thesis, University of Amsterdam, 2008. ILLC Dissertation Series DS-2008-02.
20. Plaza, J. A., 'Logics of Public Communications', in M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, and Z. W. Ras (eds.), Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, 1989, pp. 201-216.
21. Romeijn, J. W., 'Dutch Books and Epistemic Events', 2005, Talk presented at the Interfacing Probabilistic and Epistemic Update workshop in Amsterdam.
22. Sack, J., 'Extending probabilistic dynamic epistemic logic', Synthese 2009. To appear in T. Ågotnes, J. van Benthem and E. Pacuit (eds.), a special issue of Knowledge, Rationality, and Action on 'Logic and Intelligent Interaction'.
23. Shafer, G., A Mathematical Theory of Evidence, Princeton University Press, 1976.
24. Shafer G. (1982) 'Belief Functions and Parametric Models'. Journal of the Royal Statistical Society 44(3): 322-352.
25. van Benthem J. (2003) 'Conditional probability meets update logic'. Journal of Logic, Language and Information 12(4): 409-421.
26. van Benthem, J., J. Gerbrandy, T. Hoshi and E. Pacuit, 'Merging frameworks for interaction', Journal of Philosophical Logic, 2009. To appear.
27. van Benthem, J., J. Gerbrandy, and B. Kooi, 'Dynamic Update with Probabilities', ILLC Prepublication PP-2006-21, http://www.illc.uva.nl/Publications/ResearchReports/PP-2006-21.text.pdf, 2006.
28. van Benthem, J., J. Gerbrandy, and E. Pacuit, 'Merging Frameworks for Interaction: DEL and ETL', in Dov Samet (ed.), Proceedings of TARK 11, 2007, pp. 72-82.
29. van Benthem J., van Eijck J., Kooi B. (2006) 'Logics of Communication and Change'. Information and Computation 204(11): 1620-1662.
30. van der Hoek, W., Modalities for Reasoning about Knowledge and Quantities, Vrije Universiteit Amsterdam, 1992.
31. van Ditmarsch H., van der Hoek W., Kooi B. (2007) Dynamic Epistemic Logic. Springer, Dordrecht.