Modal Logics for Topological Spaces
arXiv:cs/0007038
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.
25 pages, extened abstract of PHD Dissertation