%0 Journal Article %T 关于APAL完全性的一个简要证明<br>A Simple Proof of the Completeness of APAL %A 菲利普·鲍博尼 %A 汉斯·范·狄马赫< %A br> %A Philippe Balbiani %A Hans van Ditmarsch %J 逻辑学研究 %D 2015 %X 鲍博尼等人(P. Balbiani)提出了任意公开宣告逻辑(APAL)。它是普拉策(J. Plaza)公开宣告逻辑的扩展,加入了关于宣告的量词。这种逻辑已经被公理化,但它的完全性证明总被认为可能会很复杂。在本文中,我们提供了关于任意公开宣告逻辑的一个简要的完全性证明。这个证明是鲍博尼等人证明的优化版。<br %U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract211.shtml