APAL 完备性的一个简单证明
计算机科学中的逻辑
2018-02-06 v2
摘要
我们提供了任意公共宣告逻辑（APAL）完备性的一个简单证明。该证明改进了出版物《Knowable as Known after an Announcement》中提出的证明。
引用
@article{arxiv.1409.2612,
title = {A simple proof of the completeness of APAL},
author = {Philippe Balbiani and Hans van Ditmarsch},
journal= {arXiv preprint arXiv:1409.2612},
year = {2018}
}