PP-2016-11: Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia (2016) Stable modal logics. [Report]
Preview |
Text (Full Text)
PP-2016-11.text.pdf Download (653kB) | Preview |
Text (Abstract)
PP-2016-11.abstract.txt Download (1kB) |
Abstract
We develop the theory of stable modal logics, a class of modal logics introduced by Bezhanishvili, Bezhanishvili & Iemhoff (to appear). We give several new characterizations of stable modal logics, and show that there are continuum many such. Since some basic modal systems such as K4 and S4 are not stable, for a modal logic L, we introduce the concept of an L-stable extension of L. We prove that there are continuum many S4-stable modal logics, and continuum many K4-stable modal logics between K4 and S4. We axiomatize K4-stable and S4-stable modal logics by means of stable canonical formulas of Bezhanishvili, Bezhanishvili & Iemhoff (to appear), and discuss the connection between S4-stable modal logics and stable superintuitionistic logics of Bezhanishvili & Bezhanishvili (to appear). We conclude the paper with examples of K4-stable modal logics, and compare K4-stable modal logics to subframe and splitting transitive modal logics.
Item Type: | Report |
---|---|
Report Nr: | PP-2016-11 |
Series Name: | Prepublication (PP) Series |
Year: | 2016 |
Uncontrolled Keywords: | Modal logic, modal consequence relation, canonical formula, canonical rule, intuitionistic logic |
Subjects: | Logic |
Depositing User: | Julia Ilin |
Date Deposited: | 12 Oct 2016 14:37 |
Last Modified: | 12 Oct 2016 14:37 |
URI: | https://eprints.illc.uva.nl/id/eprint/547 |
Actions (login required)
View Item |