Classically complete modal relevant logics

Mathematical Logic Quarterly 39 (1):165-177 (1993)
  Copy   BIBTEX

Abstract

A variety of modal logics based on the relevant logic R are presented. Models are given for each of these logics and completeness is shown. It is also shown that each of these logics admits Ackermann's rule γ and as a corollary of this it is proved that each logic is a conservative extension of its counterpart based on classical logic, hence we call them “classically complete”. MSC: 03B45, 03B46

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

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

Through your library

Similar books and articles

The Semantic Completeness Of Rk.Edwin Mares - 1992 - Reports on Mathematical Logic:3-10.
An incomplete relevant modal logic.Lou Goble - 2000 - Journal of Philosophical Logic 29 (1):103-119.
Quantified Modal Relevant Logics.Nicholas Ferenz - 2023 - Review of Symbolic Logic 16 (1):210-240.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté, Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Properties of Tense Logics.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):481-500.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.

Analytics

Added to PP
2013-12-01

Downloads
47 (#491,890)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edwin Mares
Victoria University of Wellington

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Models for entailment.Kit Fine - 1974 - Journal of Philosophical Logic 3 (4):347 - 372.

View all 10 references / Add more references