King's College London

Research portal

On strictly positive modal logics with S4.3 frames

Research output: Chapter in Book/Report/Conference proceedingChapter

Stanislav Kikot, Agnes Kurucz, Frank Wolter, Michael Zakharyaschev

Original languageEnglish
Title of host publicationAdvances in Modal Logic
EditorsGuram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer
PublisherCollege Publications
ISBN (Print)978-1-84890-255-8
Publication statusPublished - 2018



King's Authors


We investigate the lattice of strictly positive (SP) modal logics that contain the
SP-fragment of the propositional modal logic S4.3 of linear quasi-orders. We are
interested in Kripke (in)completeness of these logics, their computational complexity, as well as the definability of Kripke frames by means of SP-implications. We compare the lattice of these SP-logics with the lattice of normal modal logics above S4.3. We also consider global consequence relations for SP-logics, focusing on definability and Kripke completeness.

Download statistics

No data available

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454