Publication

Arrow update logic

Kooi, B. P. & Renne, B., Dec-2011, In : The Review of Symbolic Logic. 4, 4, p. 536-559 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

APA

Kooi, B. P., & Renne, B. (2011). Arrow update logic. The Review of Symbolic Logic, 4(4), 536-559. https://doi.org/10.1017/S1755020311000189

Author

Kooi, B.P. ; Renne, B. / Arrow update logic. In: The Review of Symbolic Logic. 2011 ; Vol. 4, No. 4. pp. 536-559.

Harvard

Kooi, BP & Renne, B 2011, 'Arrow update logic', The Review of Symbolic Logic, vol. 4, no. 4, pp. 536-559. https://doi.org/10.1017/S1755020311000189

Standard

Arrow update logic. / Kooi, B.P.; Renne, B.

In: The Review of Symbolic Logic, Vol. 4, No. 4, 12.2011, p. 536-559.

Research output: Contribution to journalArticleAcademicpeer-review

Vancouver

Kooi BP, Renne B. Arrow update logic. The Review of Symbolic Logic. 2011 Dec;4(4):536-559. https://doi.org/10.1017/S1755020311000189


BibTeX

@article{8c25e64cf46f483bb133a04aa9068899,
title = "Arrow update logic",
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 {"}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 Update Logic's perspective of eliminating access to epistemic possibilities, Arrow Update Logic is a valuable addition to the repertoire of logics of information change. In addition to proving basic results about Arrow Update Logic, we introduce a new notion of common knowledge that generalizes both ordinary common knowledge and the {"}relativized{"} common knowledge familiar from the Dynamic Epistemic Logic literature.",
author = "B.P. Kooi and B. Renne",
year = "2011",
month = "12",
doi = "10.1017/S1755020311000189",
language = "English",
volume = "4",
pages = "536--559",
journal = "Review of Symbolic Logic",
issn = "1755-0203",
number = "4",

}

RIS

TY - JOUR

T1 - Arrow update logic

AU - Kooi, B.P.

AU - Renne, B.

PY - 2011/12

Y1 - 2011/12

N2 - 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 Update Logic's perspective of eliminating access to epistemic possibilities, Arrow Update Logic is a valuable addition to the repertoire of logics of information change. In addition to proving basic results about Arrow Update Logic, we introduce a new notion of common knowledge that generalizes both ordinary common knowledge and the "relativized" common knowledge familiar from the Dynamic Epistemic Logic literature.

AB - 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 Update Logic's perspective of eliminating access to epistemic possibilities, Arrow Update Logic is a valuable addition to the repertoire of logics of information change. In addition to proving basic results about Arrow Update Logic, we introduce a new notion of common knowledge that generalizes both ordinary common knowledge and the "relativized" common knowledge familiar from the Dynamic Epistemic Logic literature.

U2 - 10.1017/S1755020311000189

DO - 10.1017/S1755020311000189

M3 - Article

VL - 4

SP - 536

EP - 559

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

SN - 1755-0203

IS - 4

ER -

ID: 2274081