A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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 "arrow updates" of Arrow Update Logic can be transformed into equivalent belief-changing "action models" 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 Updatedoi:10.1017/s1755020311000189 fatcat:zjguvgclxbesrdbme42gi7ssvq