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: 92,674

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 Paz N. Medeirodas - 2006 - Journal of Symbolic Logic 71 (3):799-809.
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.
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.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Natural deduction for non-classical logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.
Completeness via correspondence for extensions of the logic of paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
A new deduction system for deciding validity in modal logic K.Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora - 2011 - Logic Journal of the IGPL 19 (2): 425-434.
A natural deduction system for modal logic.John Thomas Canty - 1964 - Notre Dame Journal of Formal Logic 5 (3):199-210.
Natural deduction in normal modal logic.John Hawthorn - 1990 - Notre Dame Journal of Formal Logic 31 (2):263-273.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.

Analytics

Added to PP
2010-08-24

Downloads
103 (#172,380)

6 months
20 (#138,975)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.

View all 9 citations / Add more citations

References found in this work

Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
On an intuitionistic modal logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.

Add more references