公共知识模态逻辑 S4CI 的代数与拓扑语义
逻辑
2024-06-04 v1
摘要
我们研究模态逻辑 S4CI 的代数与拓扑语义，并在局部语义推论关系情形下获得所给系统的强完全性。此外，我们考虑 S4CI 逻辑带特定无穷推导的扩张，并在全局语义推论关系情形下确立所得系统的强完全性结果。进而，我们辨识出可完备 S4CI-代数的类，并为其获得一个 Stone 型表示定理。
引用
@article{arxiv.2111.05676,
title = {On algebraic and topological semantics of the modal logic of common knowledge S4CI},
author = {Daniyar Shamkanov},
journal= {arXiv preprint arXiv:2111.05676},
year = {2024}
}