2000 character limit reached
Generalized topological semantics for weak modal logics
Published 12 Apr 2019 in math.LO | (1904.06099v5)
Abstract: Generalized topological spaces are not necessarily closed under finite intersections. Moreover, the whole universe does not need to be open. We use modified version of this framework to establish certain models for non-normal modal logics. We consider at least two approaches to this topic, wherein one of them is based on the interplay of two operators, both reflecting the idea of necessity. The second one leads to the quite known logics MT4 and MNT4. We obtain some completeness results and we prove correspondence between different classes of frames. Also, three types of bisimulation are investigated.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.