A new S4 classical modal logic in natural deduction

Journal of Symbolic Logic 71 (3):799-809 (2006)
  Copy   BIBTEX

Abstract

We show, first, that the normalization procedure for S4 modal logic presented by Dag Prawitz in [5] does not work. We then develop a new natural deduction system for S4 classical modal logic that is logically equivalent to that of Prawitz, and we show that every derivation in this new system can be transformed into a normal derivation

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1154698578

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

A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Harmonising Natural Deduction.Hartley Slater - 2008 - Synthese 163 (2):187 - 198.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Completeness via correspondence for extensions of the logic of paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.
Natural deduction for non-classical logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.
Modal logic for philosophers.James W. Garson - 2006 - New York: Cambridge University Press.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Proofs of strong normalisation for second order classical natural deduction.Michel Parigot - 1997 - Journal of Symbolic Logic 62 (4):1461-1479.
Natural deduction in normal modal logic.John Hawthorn - 1990 - Notre Dame Journal of Formal Logic 31 (2):263-273.
A natural deduction system for modal logic.John Thomas Canty - 1964 - Notre Dame Journal of Formal Logic 5 (3):199-210.

Analytics

Added to PP
2010-09-02

Downloads
28 (#555,203)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.

Add more citations

References found in this work

No references found.

Add more references