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
Pages427-446
Volume12
ISBN (Print)978-1-84890-255-8
Publication statusPublished - 2018

Documents

Links

King's Authors

Abstract

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