几何框架中的公开宣告逻辑
计算机科学中的逻辑
2011-08-19 v2 计算机科学与博弈论
多智能体系统
摘要
本文在不同的几何框架中引入公开宣告逻辑。首先，我们考虑拓扑模型，然后将讨论扩展到一种更具表达力的模型，即子集空间模型。此外，我们证明了公开宣告逻辑在这些框架中的完备性。进而，我们将所得结果应用于不同的问题：宣告稳定化、逆向归纳与持久性。
引用
@article{arxiv.1107.4935,
title = {Public Announcement Logic in Geometric Frameworks},
author = {Can Baskent},
journal= {arXiv preprint arXiv:1107.4935},
year = {2011}
}