Modal Logics for Topological Spaces
classification
💻 cs.LO
cs.AI
keywords
conceptseffortknowledgelogicalsystemswillabstractconcrete
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.