Arbitrary arrow update logic

作者：van Ditmarsch Hans; van der Hoek Wiebe; Kooi Barteld; Kuijer Louwe B^*

来源：Artificial Intelligence, 2017, 242: 80-106.

DOI：10.1016/j.artint.2016.10.003

• Modal logic
• Knowledge representation
• Arrow update logic
• Dynamic epistemic logic
• Arbitrary arrow update logic
• Arbitrary announcement logic

In this paper we introduce arbitrary arrow update logic (AAUL). The logic AAUL takes arrow update logic, a dynamic epistemic logic where the accessibility relations of agents are updated rather than the set of possible worlds, and adds a quantifier over such arrow updates.
We investigate the relative expressivity of AAUL compared to other logics, most notably arbitrary public announcement logic (APAL). Additionally, we show that the model checking problem for AAUL is PSPACE-complete. Finally, we introduce a proof system for AAUL, and prove it to be sound and complete.

• 出版日期2017-1