New Modification of the Subformula Property for a Modal Logic

Bulletin of the Section of Logic 49 (3):255-268 (2020)
  Copy   BIBTEX

Abstract

A modified subformula property for the modal logic KD with the additionalaxiom □ ◊ ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a natural extension of our former one on which modified subformula property for the modal logics K5, K5D and S4.2 has been shown. The finite model property as well as decidability for the logic follows from this.

Categories

Add categories

Keywords

Reprint years

DOI

10.18778/0138-0680.2020.15

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Modified Subformula Property for the Modal Logic S4.2.Mitio Takano - 2019 - Bulletin of the Section of Logic 48 (1).
A modified subformula property for the modal logics K5 and K5D.Mitio Takano - 2001 - Bulletin of the Section of Logic 30 (2):115-123.
Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3.Daishi Yazaki - 2019 - Bulletin of the Section of Logic 48 (4).
Subformula property in many-valued modal logics.Mitio Takano - 1994 - Journal of Symbolic Logic 59 (4):1263-1273.
Bounded-analytic sequent calculi and embeddings for hypersequent logics.Agata Ciabattoni, Timo Lang & Revantha Ramanayake - 2021 - Journal of Symbolic Logic 86 (2):635-668.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Analytic Cut and Interpolation for Bi-Intuitionistic Logic.Tomasz Kowalski & Hiroakira Ono - 2017 - Review of Symbolic Logic 10 (2):259-283.
The Subformula Property In Classical Natural Deduction Established Constructively.Tor Sandqvist - 2012 - Review of Symbolic Logic 5 (4):710-719.
Correction regarding 'Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule'.Nils Kürbis - manuscript
A cut-free Gentzen calculus with subformula property for first-degree entailments in lc.Alexej P. Pynko - 2003 - Bulletin of the Section of Logic 32 (3):137-146.

Analytics

Added to PP
2020-08-12

Downloads
6 (#711,559)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.
A Modified Subformula Property for the Modal Logic S4.2.Mitio Takano - 2019 - Bulletin of the Section of Logic 48 (1).

Add more references