Modal Logics for Topological Spaces
Logic in Computer Science
2007-05-23 v1 Artificial Intelligence
Abstract
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.
Keywords
Cite
@article{arxiv.cs/0007038,
title = {Modal Logics for Topological Spaces},
author = {Konstantinos Georgatos},
journal= {arXiv preprint arXiv:cs/0007038},
year = {2007}
}
Comments
25 pages, extened abstract of PHD Dissertation