A new S4 classical modal logic in natural deduction

Medeiros, Maria da Paz N.

J. Symbolic Logic, Tome 71 (2006) no. 1, p. 799-809 / Harvested from Project Euclid

Résumé

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.

Publié le : 2006-09-14
Classification:

@article{1154698578,
     author = {Medeiros, Maria da Paz N.},
     title = {A new S4 classical modal logic in natural deduction},
     journal = {J. Symbolic Logic},
     volume = {71},
     number = {1},
     year = {2006},
     pages = { 799-809},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1154698578}
}

Medeiros, Maria da Paz N. A new S4 classical modal logic in natural deduction. J. Symbolic Logic, Tome 71 (2006) no. 1, pp.  799-809. http://gdmltest.u-ga.fr/item/1154698578/