Probabilistic dynamic epistemic logic

Journal of Logic, Language and Information 12 (4):381-408 (2003)
  Copy   BIBTEX

Abstract

In this paper I combine the dynamic epistemic logic ofGerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The resultis a new probabilistic dynamic epistemic logic, a logic for reasoning aboutprobability, information, and information change that takes higher orderinformation into account. Probabilistic epistemic models are defined, and away to build them for applications is given. Semantics and a proof systemis presented and a number of examples are discussed, including the MontyHall Dilemma.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,960

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
188 (#131,026)

6 months
6 (#917,032)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Barteld Kooi
University of Groningen

References found in this work

The Logic of Decision.Richard C. Jeffrey - 1965 - New York, NY, USA: University of Chicago Press.
Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Naming and Necessity.Saul Kripke - 1980 - Philosophy 56 (217):431-433.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.

View all 15 references / Add more references