Realizing public announcements by justifications

作者：

Highlights：

• We study two dynamic epistemic logics with justifications.

• We prove a realization theorem for the modal logic of public announcements.

• We develop a realization method by translation.

摘要

•We study two dynamic epistemic logics with justifications.•We prove a realization theorem for the modal logic of public announcements.•We develop a realization method by translation.

论文关键词：Justification logic,Dynamic epistemic logic,Public announcements,Belief revision

论文评审过程：Received 16 January 2012, Revised 18 February 2013, Accepted 3 February 2014, Available online 4 April 2014.

论文官网地址：https://doi.org/10.1016/j.jcss.2014.04.001