An observation concerning porte's rule in modal logic

&
Bulletin of the Section of Logic 44 (1/2):25-31 (2015)
  Copy   BIBTEX

Abstract

It is well known that no consistent normal modal logic contains (as theorems) both ♦A and ♦¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent normal modal logic contains ♦A, or else no consistent normal modal logic contains ♦¬A.

Categories

Keywords

Reprint years

DOI

10.18778/0138-0680.44.1.2.04

Links

PhilArchive



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

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

Normal derivability in modal logic.Jan von Plato - 2005 - Mathematical Logic Quarterly 51 (6):632-638.
Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic.Rohan French & Lloyd Humberstone - 2009 - Australasian Journal of Logic 7:56-61.
An alternative rule of disjunction in modal logic.Timothy Williamson - 1991 - Notre Dame Journal of Formal Logic 33 (1):89-100.
Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic.Marilynn Johnson - 2015 - Australasian Journal of Logic 12 (2):97-120.
Construction of an Explicit Basis for Rules Admissible in Modal System S4.Vladimir V. Rybakov - 2001 - Mathematical Logic Quarterly 47 (4):441-446.
Inverse Images of Box Formulas in Modal Logic.Lloyd Humberstone - 2013 - Studia Logica 101 (5):1031-1060.
Modal logics with the MacIntosh rule.Brian F. Chellas & Krister Segerberg - 1994 - Journal of Philosophical Logic 23 (1):67 - 86.
A simplified embedding of E into monomodal K.Rohan French - 2009 - Logic Journal of the IGPL 17 (4):421-428.
Boll-Reinhart modal logic.J. Porte - 1982 - Logique Et Analyse 25 (98):181.
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.
Classically complete modal relevant logics.Edwin D. Mares - 1993 - Mathematical Logic Quarterly 39 (1):165-177.
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.
Modal Logic.Johan van Benthem - 2015 - Internet Encyclopedia of Philosophy.
The Real World: Completeness and Incompleteness of a Modal Logic.J. Porte - 1987 - Logique Et Analyse 30 (119):209-220.
A Buchholz Rule for Modal Fixed Point Logics.Gerhard Jäger & Thomas Studer - 2011 - Logica Universalis 5 (1):1-19.

Analytics

Added to PP
2016-01-19

Downloads
23 (#641,102)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Rohan French
University of California, Davis
Lloyd Humberstone
Monash University

Citations of this work

No citations found.

Add more citations

References found in this work

Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2014 - Journal of Philosophical Logic 43 (1):133-152.
Post completeness in modal logic.Krister Segerberg - 1972 - Journal of Symbolic Logic 37 (4):711-715.
Necessity and Relative Contingency.Claudio Pizzi - 2007 - Studia Logica 85 (3):395-410.

View all 12 references / Add more references