Arrow update logic

Review of Symbolic Logic 4 (4):536-559 (2011)
  Copy   BIBTEX

Abstract

We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing of Arrow Update Logic can be transformed into equivalent belief-changing from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action models. Further, since many examples of belief change are naturally thought of from Arrow Update Logicrelativized” common knowledge familiar from the Dynamic Epistemic Logic literature

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,354

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
2013-11-01

Downloads
51 (#306,966)

6 months
4 (#1,029,048)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Barteld Kooi
University of Groningen

References found in this work

Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

View all 12 references / Add more references