Translator Disclaimer
September 2006 A new S4 classical modal logic in natural deduction
Maria da Paz N. Medeiros
J. Symbolic Logic 71(3): 799-809 (September 2006). DOI: 10.2178/jsl/1154698578

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.

Citation

Download Citation

Maria da Paz N. Medeiros. "A new S4 classical modal logic in natural deduction." J. Symbolic Logic 71 (3) 799 - 809, September 2006. https://doi.org/10.2178/jsl/1154698578

Information

Published: September 2006
First available in Project Euclid: 4 August 2006

zbMATH: 1109.03015
MathSciNet: MR2250822
Digital Object Identifier: 10.2178/jsl/1154698578

Rights: Copyright © 2006 Association for Symbolic Logic

JOURNAL ARTICLE
11 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.71 • No. 3 • September 2006
Back to Top