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 derivation. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMaria Paz N. Medeirodas (2006). A New S4 Classical Modal Logic in Natural Deduction. Journal of Symbolic Logic 71 (3):799-809.
Maria Paz N. Medeirodas (2006). A New S4 Classical Modal Logic in Natural Deduction. Journal of Symbolic Logic 71 (3):799-809.
Hartley Slater (2008). Harmonising Natural Deduction. Synthese 163 (2):187 - 198.
Greg Restall & Francesco Paoli (2005). The Geometry of Non-Distributive Logics. Journal of Symbolic Logic 70 (4):1108 - 1126.
Yannis Delmas-Rigoutsos (1997). A Double Deduction System for Quantum Logic Based on Natural Deduction. Journal of Philosophical Logic 26 (1):57-67.
Claudio Cerrato (1994). Natural Deduction Based Upon Strict Implication for Normal Modal Logics. Notre Dame Journal of Formal Logic 35 (4):471-495.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
David Basin, Seán Matthews & Luca Viganò (1998). Natural Deduction for Non-Classical Logics. Studia Logica 60 (1):119-160.
Barteld Kooi & Allard Tamminga (2012). Completeness Via Correspondence for Extensions of the Logic of Paradox. The Review of Symbolic Logic 5 (4):720-730.
Marcelo E. Coniglio & Newton M. Peron (2013). Modal Extensions of Sub-Classical Logics for Recovering Classical Logic. Logica Universalis 7 (1):71-86.
Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora (2011). A New Deduction System for Deciding Validity in Modal Logic K. Logic Journal of IGPL 19 (2): 425-434.
John Thomas Canty (1964). A Natural Deduction System for Modal Logic. Notre Dame Journal of Formal Logic 5 (3):199-210.
James W. Garson (2010). Expressive Power and Incompleteness of Propositional Logics. Journal of Philosophical Logic 39 (2):159-171.
John Hawthorn (1990). Natural Deduction in Normal Modal Logic. Notre Dame Journal of Formal Logic 31 (2):263-273.
Francis Jeffry Pelletier (1999). A Brief History of Natural Deduction. History and Philosophy of Logic 20 (1):1-31.
Analytics
Monthly downloads |
Added to index2011-05-29Total downloads3 ( #203,740 of 556,772 )Recent downloads (6 months)2 ( #38,924 of 556,772 )How can I increase my downloads? |
My notes
Discussion
