Abstract
This paper is about a synthesis of two quite different modal reasoning formalisms: the logic of subset spaces, and hybrid logic. Going beyond commonly considered languages we introduce names of objects involving sets and corresponding satisfaction operators, thus increase the expressive power to a large extent. The motivation for our approach is to logically model some general notions from topology like closeness, separation, and linearity, which are of fundamental relevance to spatial or temporal frameworks; in other words, since these notions represent basic properties of space and time we want them to be available to corresponding formal reasoning. We are interested in complete axiomatizations and effectivity properties of the associated logical systems, in particular.Keywordstopological reasoningtemporal reasoningmodal logichybrid logicreasoning about knowledge
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
