Arbitrary arrow update 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.
论文关键词：Modal logic,Knowledge representation,Arrow update logic,Dynamic epistemic logic,Arbitrary arrow update logic,Arbitrary announcement logic
论文评审过程：Received 9 October 2015, Revised 4 October 2016, Accepted 9 October 2016, Available online 14 October 2016, Version of Record 24 October 2016.
论文官网地址：https://doi.org/10.1016/j.artint.2016.10.003
