Modal Logics for Topological Spaces
Konstantinos Georgatos
TL;DR
This thesis introduces two logical systems, MP and MP, designed for reasoning about knowledge and effort within topological spaces, linking abstract concepts to concrete mathematical interpretations.
Contribution
It develops new logical systems interpreted in topological spaces, connecting abstract notions of knowledge and effort to concrete mathematical concepts.
Findings
Logical systems MP and MP effectively model knowledge and effort.
The systems provide a formal framework for reasoning in topological contexts.
Concrete mathematical interpretations enhance understanding of abstract concepts.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Constraint Satisfaction and Optimization