On Independent Axiomatizability of Quasi-Normal Modal Logics

&
Studia Logica 110 (5):1189-1217 (2022)
  Copy   BIBTEX

Abstract

We give a negative solution to the problem, posed by A. Chagrov and M. Zakharyaschev, of whether every quasi-normal propositional modal logic can be axiomatized by an independent set of axioms, with the inference rules of Substitution and Modus Ponens.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-022-09992-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Independent propositional modal logics.S. K. Thomason - 1980 - Studia Logica 39 (2-3):143 - 144.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
On regular modal logics with axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2014 - Journal of Philosophical Logic 43 (1):133-152.
The γ-admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ.Albert J. J. Anglberger & Jonathan Lukic - 2015 - Studia Logica 103 (5):985-1003.

Analytics

Added to PP
2022-05-07

Downloads
17 (#871,044)

6 months
9 (#312,765)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.

Add more references