Abstract Dynamic Update with Probabilities (2006)
Download:
pdf
by Johan Van Benthem, Jelle Gerbr, Barteld Kooi
http://www.di.unito.it/~gerbrand/papers/duwp.pdf
Add To MetaCart
Abstract:
We propose a way of adding probabilities to Dynamic Epistemic Logic (Baltag, Moss, and Solecki (1998)) to obtain a logic for reasoning about information change that is brought about by probabilistic information. We propose a general format for representing probabilistic information in a multi-agent setting, define the corresponding notion of epistemic update, and discuss the logic that results. 1
Citations
| 91 | Bisimulations on Planet Kripke – GERBRANDY - 1999 |
| 79 | Reasoning about knowledge and probability – Fagin, Halpern - 1994 |
| 64 | Knowledge, probability, and adversaries – Halpern, Tuttle - 1993 |
| 59 | Logics of public communications – Plaza - 1989 |
| 29 | probability – Fagin, Halpern, et al. - 1991 |
| 12 | The logic of common knowledge, public announcements, and private suspicions – Baltag, Moss, et al. - 1998 |
| 8 | Probabilistic Dynamic Epistemic Logic – Kooi - 2003 |
| 4 | How our beliefs contribute to interpret actions – Aucher - 2005 |
| 2 | Dynamic update with probabilities – Benthem, Gerbrandy, et al. - 2006 |
| 1 | Dutch books and epistemic events. Talk presented at the Interfacing Probabilistic and Epistemic Update workshop in – Romeijn - 2005 |
