PP-2016-11: Stable modal logics

PP-2016-11: Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia (2016) Stable modal logics. [Report]

[img]
Preview
Text (Full Text)
PP-2016-11.text.pdf

Download (653kB) | Preview
[img] 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 View Item