摘要：知识逻辑的拓扑模型的研究：关于Larry Moss和Rohit Parikh引入的拓扑推理的拓扑模型的研究。我们的研究结果包括了上述作者提出的一个猜想的解决方案，以及拓扑模型理论的有限可满足性和可决定性。
作者：Konstantinos Georgatos
论文ID：cs/0007037
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中