Abstract
Dynamic update of information states is a new paradigm in logicalsemantics. But such updates are also a traditional hallmark ofprobabilistic reasoning. This note brings the two perspectives togetherin an update mechanism for probabilities which modifies state spaces.
Similar content being viewed by others
References
Baltag, A., Moss, L., and Solecki, S., 1998, “The logic of public announcements, common knowledge and private suspicions,” pp. 43–56 in Proceedings TARK 1998, Los Altos, CA: Morgan Kaufman.
Baltag, A., Moss, L., and Solecki, S., 2002, Updated version of the preceding, Department of Cognitive Science, Indiana University, Bloomington, and Department of Computing, Oxford University.
Fagin, R. and Halpern, J., 1994, “Reasoning about knowledge and probability,” Journal of the ACM 41, 340–367.
Fagin, R., Halpern, J., Moses, Y., and Vardi, M., 1995, Reasoning about Knowledge, Cambridge, MA: MIT Press.
Good, I., 1965, The Estimation of Probabilities, Cambridge, MA: MIT Press.
Gruenwald, P. and Halpern, J., 2003, “Updating probabilities,” Journal of Artificial Intelligence Research, to appear.
Hirshleifer, J. and Riley, J.G., 1992, The Analytics of Uncertainty and Information, Cambridge: Cambridge University Press.
Kemeny, J., Snell, J., and Thompson, G., 1974, Introduction to Finite Mathematics, Englewood Cliffs, NJ: Prentice Hall.
Kooi, B., 1999, “The Monty Hall dilemma,” Master's Thesis, Department of Philosophy, University of Groningen.
Kooi, B., 2001, “Probabilistic dynamic epistemic logic,” Department of Computer Science, University of Groningen.
van Benthem, J., 2001, “Games in dynamic epistemic logic,” in Bulletin of Economic Research 53, 219–248.
van Benthem, J., 2002, “Conditional probability is update logic,” Lecture Note, Department of Philosophy, Stanford University.
van Benthem, J., 2003, “One is a lonely number,” Report PP-2003-07, Institute for Logic, Language and Computation, University of Amsterdam.
van Ditmarsch, H., 2000, “Knowledge games,” Dissertation DS-2000-06, Institute for Logic, Language and Computation, University of Amsterdam.
van Rooy, R., 2002, “Utility, informativity, and protocols,” in Proceedings Logic and the Foundations of the Theory of Games and Decisions, LOFT-5, Torino, Italy, G. Bonanno et al., eds.
van Rooy, R., 2003, “Quality and quantity of information exchange,” Journal of Logic, Language and Information 12, 423–451.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
van Benthem, J. Conditional Probability Meets Update Logic. Journal of Logic, Language and Information 12, 409–421 (2003). https://doi.org/10.1023/A:1025002917675
Issue Date:
DOI: https://doi.org/10.1023/A:1025002917675