Modal Logics for Topological Spaces
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
In this thesis we shall present two logical systems, MP and MP, for the purpose of reasoning about knowledge and effort. These logical systems will be interpreted in a spatial context and therefore, the abstract concepts of knowledge and effort will be defined by concrete mathematical concepts.
引用
@article{arxiv.cs/0007038,
title = {Modal Logics for Topological Spaces},
author = {Konstantinos Georgatos},
journal= {arXiv preprint arXiv:cs/0007038},
year = {2007}
}
备注
25 pages, extened abstract of PHD Dissertation