摘要
鲍博尼等人(P.Balbiani et al.,[2])提出了任意公开宣告逻辑(APAL)。它是普拉策(J.Plaza,[7])公开宣告逻辑的扩展,加入了关于宣告的量词。这种逻辑已经被公理化,但它的完全性证明总被认为可能会很复杂。在本文中,我们提供了关于任意公开宣告逻辑的一个简要的完全性证明。这个证明是鲍博尼等人([2])证明的优化版。
We provide a simple proof of the completeness of arbitrary public announcement logic APAL. The proof is an improvement over the proof found in [2].
出处
《逻辑学研究》
CSSCI
2015年第1期65-78,共14页
Studies in Logic
基金
support from ERC project EPS 313360