关于APAL完全性的一个简要证明（英文）

作者：菲利普·鲍博尼 汉斯·范·狄马赫完全性apal公理化maximalproofverifyderivationformulasstrictequivalence

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社