Simplified Kripke-style semantics for some normal modal logics (Q2186691)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Simplified Kripke-style semantics for some normal modal logics |
scientific article |
Statements
Simplified Kripke-style semantics for some normal modal logics (English)
0 references
9 June 2020
0 references
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.
0 references
simplified Kripke-style semantics
0 references
semi-universal frames
0 references
normal modal logics
0 references