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

Authors
Barteld Kooi
University of Groningen
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020311000189
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,568
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

View all 12 references / Add more references

Citations of this work BETA

True Lies.Thomas Ågotnes, Hans van Ditmarsch & Yanjing Wang - 2018 - Synthese 195 (10):4581-4615.
Dynamics of Lying.Hans van Ditmarsch - 2014 - Synthese 191 (5):1-33.

View all 11 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2013-11-01

Total views
40 ( #247,024 of 2,385,660 )

Recent downloads (6 months)
1 ( #560,301 of 2,385,660 )

How can I increase my downloads?

Downloads

My notes