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: 90,221

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
169 (#105,194)

6 months
1 (#1,027,696)

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 16 references / Add more references