De Re Updates

Michael Cohen; Wen Tang; Yanjing Wang

doi:10.48550/arXiv.2106.11497

De Re Updates

Michael Cohen, Wen Tang, Yanjing Wang

Research output: Contribution to journal › Article › Scientific › peer-review

26 Downloads (Pure)

Abstract

In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and de re knowledge but also the distinction between de dicto and de re updates. The logic is based on the dynamified version of an epistemic language extended with the assignment operator borrowed from dynamic logic, following the work of Wang and Seligman (Proc. AiML 2018). We obtain complete axiomatizations for the counterparts of public announcement logic and event-model-based DEL based on new reduction axioms taking care of the interactions between dynamics and assignments.

Original language	English
Pages (from-to)	103-117
Number of pages	15
Journal	EPTCS
Volume	335
DOIs	https://doi.org/10.48550/arXiv.2106.11497
Publication status	Published - 22 Jun 2021
Externally published	Yes

Keywords

cs.AI
cs.LO
Epistemic Logic
De dicto
De re updates

Access to Document

10.48550/arXiv.2106.11497Licence: CC BY

2106.11497v1

Cite this

@article{c514a468bc2645808352687c6aaf0955,

title = "De Re Updates",

abstract = " In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and de re knowledge but also the distinction between de dicto and de re updates. The logic is based on the dynamified version of an epistemic language extended with the assignment operator borrowed from dynamic logic, following the work of Wang and Seligman (Proc. AiML 2018). We obtain complete axiomatizations for the counterparts of public announcement logic and event-model-based DEL based on new reduction axioms taking care of the interactions between dynamics and assignments. ",

keywords = "cs.AI, cs.LO, Epistemic Logic, De dicto, De re updates",

author = "Michael Cohen and Wen Tang and Yanjing Wang",

note = "In Proceedings TARK 2021, arXiv:2106.10886",

year = "2021",

month = jun,

day = "22",

doi = "10.48550/arXiv.2106.11497",

language = "English",

volume = "335",

pages = "103--117",

journal = "EPTCS",

}

TY - JOUR

T1 - De Re Updates

AU - Cohen, Michael

AU - Tang, Wen

AU - Wang, Yanjing

N1 - In Proceedings TARK 2021, arXiv:2106.10886

PY - 2021/6/22

Y1 - 2021/6/22

N2 - In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and de re knowledge but also the distinction between de dicto and de re updates. The logic is based on the dynamified version of an epistemic language extended with the assignment operator borrowed from dynamic logic, following the work of Wang and Seligman (Proc. AiML 2018). We obtain complete axiomatizations for the counterparts of public announcement logic and event-model-based DEL based on new reduction axioms taking care of the interactions between dynamics and assignments.

AB - In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and de re knowledge but also the distinction between de dicto and de re updates. The logic is based on the dynamified version of an epistemic language extended with the assignment operator borrowed from dynamic logic, following the work of Wang and Seligman (Proc. AiML 2018). We obtain complete axiomatizations for the counterparts of public announcement logic and event-model-based DEL based on new reduction axioms taking care of the interactions between dynamics and assignments.

KW - cs.AI

KW - cs.LO

KW - Epistemic Logic

KW - De dicto

KW - De re updates

U2 - 10.48550/arXiv.2106.11497

DO - 10.48550/arXiv.2106.11497

M3 - Article

VL - 335

SP - 103

EP - 117

JO - EPTCS

JF - EPTCS

ER -

De Re Updates

Abstract

Keywords

Access to Document

Fingerprint

Cite this