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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,389

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
165 (#75,161)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Barteld Kooi
University of Groningen

References found in this work

Naming and Necessity.Saul A. Kripke - 1980 - Philosophy 56 (217):431-433.
Defaults in Update Semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

View all 12 references / Add more references