Simplified Kripke-style semantics for some normal modal logics

DOI10.1007/S11225-019-09849-2zbMath1452.03061OpenAlexW2937483042WikidataQ131341345 ScholiaQ131341345MaRDI QIDQ2186691

Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav I. Petrukhin

Publication date: 9 June 2020

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-019-09849-2

zbMATH Keywords

normal modal logicssemi-universal framessimplified Kripke-style semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

What is a relevant connective?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\)
• Simplified Kripke style semantics for some very weak modal logics
• The decidability of normal K5 logics
• On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
• On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
• On Modal Logics Defining Jaśkowski’s D2-Consequence

This page was built for publication: Simplified Kripke-style semantics for some normal modal logics