Simplified Kripke-style semantics for some normal modal logics (Q2186691): Difference between revisions

Variations of Kripke models are interesting for a number of reasons. First, there are not that many. Second, they help connect algebraic and topological semantics via Kripke models. And this allows us to have a broader picture of modal logic. This paper sits in the epicentre of all these three reasons. The bigger picture it helps draw is important for a reader of modal logic as it goes all the way to old papers in 1980s. This paper proves a number of results about normal modal logic with respect to a simplified semantics/modal frames. The results are interesting. One next thing for this project is to discuss the connections between other modal semantics and category theory, which would also introduce mathemtically challengeing problems to the subject.