Simplified Kripke-style semantics for some normal modal logics
type: Item
instance of: scholarly article
title: Simplified Kripke-style semantics for some normal modal logics
zbMATH Open document ID: 1452.03061
author: Andrzej Pietruszczak
author: Mateusz Klonowski
author: Yaroslav I. Petrukhin
published in: Studia Logica
publication date: 2020-06-09T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7210297
zbMATH Keywords: simplified Kripke-style semantics
zbMATH Keywords: semi-universal frames
zbMATH Keywords: normal modal logics
reviewed by: Can Başkent
MaRDI profile type: Publication
full work available at URL: s11225-019-09849-2
OpenAlex ID: W2937483042
cites work: Q3867808
cites work: The decidability of normal K5 logics
cites work: A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\)
cites work: On Modal Logics Defining Jaśkowski’s D2-Consequence
cites work: Simplified Kripke style semantics for some very weak modal logics
cites work: On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
cites work: On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
cites work: Q4068699
cites work: Q4789450
Wikidata QID: Q131341345
DOI: 10.1007/S11225-019-09849-2
description: scientific article