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

Categories

Keywords

Reprint years

DOI

10.1002/malq.19930390119

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

An incomplete relevant modal logic.Lou Goble - 2000 - Journal of Philosophical Logic 29 (1):103-119.
Hereditarily structurally complete modal logics.V. V. Rybakov - 1995 - Journal of Symbolic Logic 60 (1):266-288.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
The γ-admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Adding clauses to poor man's logic (without increasing the complexity).Peter Jonsson - 2005 - Journal of Applied Non-Classical Logics 15 (3):341-357.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
A theory of hypermodal logics: Mode shifting in modal logic. [REVIEW]D. M. Gabbay - 2002 - Journal of Philosophical Logic 31 (3):211-243.
A simple incomplete extension of T which is the union of two complete modal logics with F.m.P.Roy A. Benton - 2002 - Journal of Philosophical Logic 31 (6):527-541.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Some Metacomplete Relevant Modal Logics.Takahiro Seki - 2013 - Studia Logica 101 (5):1115-1141.
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.

Analytics

Added to PP
2013-12-01

Downloads
35 (#446,573)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edwin Mares
Victoria University of Wellington

Citations of this work

Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
Quantified Modal Relevant Logics.Nicholas Ferenz - 2023 - Review of Symbolic Logic 16 (1):210-240.
Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (1):145-181.

View all 13 citations / Add more citations

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