关于APAL完全性的一个简要证明
A Simple Proof of the Completeness of APAL

鲍博尼等人（P. Balbiani）提出了任意公开宣告逻辑（APAL）。它是普拉策（J. Plaza）公开宣告逻辑的扩展，加入了关于宣告的量词。这种逻辑已经被公理化，但它的完全性证明总被认为可能会很复杂。在本文中，我们提供了关于任意公开宣告逻辑的一个简要的完全性证明。这个证明是鲍博尼等人证明的优化版。