Probabilistic Dynamic Epistemic Logic

• Albers, C.J., 2003, “Distributional inference: The limits of reason,” Ph.D. Thesis, Institute for Mathematics and Computing Science, Groningen.

  Google Scholar 

• Aumann, R.J., 1976, “Agreeing to disagree,” Annals of Statistics 4, 1236–1239.

  Google Scholar 

• Bacchus, F., 1990, Representing and Reasoning with Probabilistic Knowledge, A Logical Approach to Probabilities, Cambridge, MA: The MIT Press.

  Google Scholar 

• Baltag, A., 2000, “A logic of epistemic actions (extended version),” CWI Technical Report, to appear.

• Baltag, A., Moss, L., and Solecki, S., 1998, “The logic of public announcements and common knowledge,” pp. 43–56 in TARK 98, I. Gilboa, ed., San Francisco, CA: Morgan Kaufmann Publishers.

  Google Scholar 

• Binmore, K., 1992, Fun and Games, Lexington, MA: D.C. Heath and Company.

  Google Scholar 

• Blackburn, P., de Rijke, M., and Venema, Y., 2001, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Vol. 53, Cambridge: Cambridge University Press.

  Google Scholar 

• de Vink, E. and Rutten, J., 1999, “Bisimulation for probabilistic transition systems: a coalgebraic approach,” Theoretical Computer Science 221, 271–293.

  Google Scholar 

• Dempster, A.P., 1967, “Upper and lower probabilities induced by a multivalued mapping,” Annals of Mathematical Statistics 38, 325–329.

  Google Scholar 

• Fagin, R. and Halpern, J., 1994, “Reasoning about knowledge and probability,” Journal of the Association for Computing Machinery 41, 340–367.

  Google Scholar 

• Fagin, R., Halpern, J., Moses, Y., and Vardi, M., 1995, Reasoning about Knowledge, Cambridge, MA: MIT Press.

  Google Scholar 

• Gerbrandy, J., 1999, Bisimulations on Planet Kripke, ILLC Dissertation Series, Amsterdam: ILLC.

  Google Scholar 

• Gerbrandy, J. and Groeneveld, W., 1997, “Reasoning about information change,” Journal of Logic, Language, and Information 6, 147–196.

  Google Scholar 

• Gillies, D., 2000, Philosophical Theories of Probability, Philosophical Issues in Science, London: Routledge.

  Google Scholar 

• Halpern, J.Y., 1991, “The relationship between knowledge, belief, and certainty,” Annals of Mathematics and Artificial Intelligence 4, 301–322.

  Google Scholar 

• Halpern, J.Y., 2001, “Lexicographic probability, conditional probability, and nonstandard probability,” pp. 17–30 in Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge.

• Halpern, J. and Tuttle, M., 1993, “Knowledge, probability, and adversaries,” Journal of the Association for Computing Machinery 40, 917–962.

  Google Scholar 

• Harel, D., Kozen, D., and Tiuryn, J., 2000, Dynamic Logic, Foundation of Computing, Cambridge, MA: MIT Press.

  Google Scholar 

• Hintikka, J., 1962, Knowledge and Belief, An Introduction to the Logic of the Two Notions, Ithaca: Cornell University Press.

  Google Scholar 

• Hirshleifer, J. and Riley, J.G., 1992, The Analytics of Uncertainty and Information, Cambridge Surveys of Economic Literature, Cambridge: Cambridge University Press.

  Google Scholar 

• Jeffrey, R.C., 1983, The Logic of Decision, Chicago: University of Chicago Press.

  Google Scholar 

• Kolmogorov, A.N., 1956, Foundations of the Theory of Probability, second edition, New York: Chelsea Publishing Company. Translation edited by Nathan Morrison with an added bibliography by A.T. Bharucha-Reid.

  Google Scholar 

• Kripke, S., 1980, Naming and Necessity, Oxford: Blackwell Publishers, revised and enlarged edition.

  Google Scholar 

• Kullback, S. and Leibler, R.A., 1951, “On information and sufficiency,” Annals of Mathematical Statistics 22, 79–86.

  Google Scholar 

• Kyburg, H.E., 1994, “Uncertainty logics,” pp. 397–438 in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic Reasoning and Uncertain Reasoning, D.M. Gabbay, C.J. Hogger, and J.A. Robinson, eds., Oxford: Clarendon Press.

  Google Scholar 

• Larsen, K. and Skou, A., 1991, “Bisimulation through probabilistic testing,” Information and Computation 94, 1–28.

  Google Scholar 

• Meyer, J.-J. and van der Hoek, W., 1995, Epistemic Logic for AI and Computer Science, Cambridge: Cambridge University Press.

  Google Scholar 

• Plaza, J.A., 1989, “Logics of public communications,” pp. 201–216 in Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, M.L. Emrich, M.S. Pfeifer, M. Hadzikadic, and Z.W. Ras, eds., Oak Ridge National Laboratory.

• Prohorov, Y.V. and Rozanov, Y.A., 1969, Probability Theory, Basic Concepts, Limit Theorems, Random Processes, Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Vol. 157, Berlin: Springer-Verlag. Translation of Teorija Verojatnostej by K. Krickeberg and H. Urmitzer.

  Google Scholar 

• Selvin, S., 1975, “A problem in probability,” The American Statistician 29, 67.

  Google Scholar 

• ten Cate, B.D., 2002, “Internalizing epistemic actions,” pp. 109–123 in Proceedings of the NASSLLI 2002 Student Session, M. Martinez (ed.), Stanford University.

• van Benthem, J.F.A.K., 2002a, “Conditional probability is update logic,” unpublished.

• van Benthem, J.F.A.K., 2002b, “'One is a lonely number': On the logic of communication,” in Proceedings of the Logic Colloquium 2002, to appear.

• van Ditmarsch, H.P., 2000, Knowledge Games, ILLC Dissertation Series DS-2000-06, Amsterdam: ILLC. Available online at http://www.illc.uva.nl/Publications/

  Google Scholar 

• van Rooy, R., 2003, “Quality and quantity of information exchange,” Journal of Logic Language and Information 12, 423–451.

  Google Scholar 

• Veltman, F., 1996, “Defaults in update semantics,” Journal of Philosophical Logic 25, 221–261.

  Google Scholar 

• Vos Savant, M., 1990, “Ask Marilyn,” Parade Magazine, p. 15.

Download references