Modal Logics for Topological Spaces
<|reference_start|>Modal Logics for Topological Spaces: 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.<|reference_end|>
@article{georgatos2000modal,
    title={Modal Logics for Topological Spaces},
    author={Konstantinos Georgatos},
    journal={arXiv preprint arXiv:cs/0007038},
    year={2000},
    archivePrefix={arXiv},
    eprint={cs/0007038},
    primaryClass={cs.LO cs.AI}
}