论文标题
公开公告逻辑的标签序列微积分
A Labelled Sequent Calculus for Public Announcement Logic
论文作者
论文摘要
公开公告逻辑（PAL）是具有一些减少公理的认知逻辑（EL）的扩展。在本文中，我们提出了PAL的无剪切标记的序列，这是EL的延伸，其依次是根据还原公理适应的序列规则。该微积分承认剪切并允许终止证明搜索。
Public announcement logic(PAL) is an extension of epistemic logic (EL) with some reduction axioms. In this paper, we propose a cut-free labelled sequent calculus for PAL, which is an extension of that for EL with sequent rules adapted from the reduction axioms. This calculus admits cut and allows terminating proof search.
