A proof-theoretic study of the correspondence of classical logic and modal logic

Journal of Symbolic Logic

Volumn 68, Issue 4, 2003, Pages 1403-1414

  Kushida, H ^a   Okada, M ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347592509     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1067620195     Document Type: Article

References (10)

1. S. Buss, Introduction to proof theory, Handbook of proof theory (S. Buss, editor), 1998, pp. 1-78.
2. R. Dyckhoff and L. Pinto, Permutability of proofs in intuitionistic sequent calculi, Theoretical Computer Science, vol. 212 (1999), pp. 141-155.
3. R. Feys, Modeles a variables de differentes sortes pour les logiques modales M” ou S5, Synthese, vol. 12 (1960), pp. 182-196.
4. G. Gentzen, Untersuchungen uber das logische Schliefien, Mathematische Zeitschrift, vol. 39 (1935), pp. 176-210, 405-431.
5. G. Hughes and M. Cresswell, A new introduction to modal logic, Routledge, London and New York, 1996.
6. S. C. Kleene, Permutability of inferences in Gentzen s calculi LK and LJ, Memoirs of the American Mathematical Society, vol. 10 (1952), pp. 1-26.
7. G. E. Mints, On some calculi of modal logic, Proceedings of the Steklov Institute of Mathematics, 1968, pp. 97-124.
8. G. Takeuti, Proof theory, second ed., North-Holland, Amsterdam, 1987.
9. J. Van Benthem, Modal logic and classical logic, Bibliopolis, Naples, 1985.
10. M. Wajsberg, Ein erweiterter KlassenkalkUl, Monatshefte fUr mathematische Physik, vol. 40 (1933), pp. 113-126.