- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A new S4 classical modal logic in natural deduction
Journal of Symbolic Logic 71 (3):799-809 (2006)
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 derivationOther Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
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.
Full classical S5 in natural deduction with weak normalization.Ana Teresa Martins & Lilia Ramalho Martins - 2008 - Annals of Pure and Applied Logic 152 (1):132-147.
Normal deduction in the intuitionistic linear logic.G. Mints - 1998 - Archive for Mathematical Logic 37 (5-6):415-425.
A Natural Deduction System for Sentential Modal Logic.Howard J. Sobel - 1979 - Philosophy Research Archives 5:611-622.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
A modal natural deduction system for S4.O. A. Robinson - 1979 - Notre Dame Journal of Formal Logic 20:625.
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.Luiz C. Pereira, Edward H. Haeusler, Vaston G. Costa & Wagner Sanz - 2010 - Studia Logica 96 (1):95-108.
A Natural Deduction Calculus for S4.2.Simone Martini, Andrea Masini & Margherita Zorzi - 2024 - Notre Dame Journal of Formal Logic 65 (2):127-150.
Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic.Marcelo E. Coniglio & Martin Figallo - forthcoming - Logic and Logical Philosophy:1-33.
Analytics
Added to PP
2010-09-02
Downloads
33 (#684,582)
6 months
4 (#1,247,093)
2010-09-02
Downloads
33 (#684,582)
6 months
4 (#1,247,093)
Historical graph of downloads
Citations of this work
Label-free natural deduction systems for intuitionistic and classical modal logics.Didier Galmiche & Yakoub Salhi - 2010 - Journal of Applied Non-Classical Logics 20 (4):373-421.
Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.Shawn Standefer - 2019 - Studia Logica 107 (6):1103-1134.
Full classical S5 in natural deduction with weak normalization.Ana Teresa Martins & Lilia Ramalho Martins - 2008 - Annals of Pure and Applied Logic 152 (1):132-147.
Translations between linear and tree natural deduction systems for relevant logics.Shawn Standefer - 2021 - Review of Symbolic Logic 14 (2):285 - 306.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2