Modal Logics for Topological Spaces
Konstantinos Georgatos · arXiv (Cornell University) · 2000
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.