Modal Tree‐Sequents

Mathematical Logic Quarterly 42 (1):197-210 (1996)
  Copy   BIBTEX

Abstract

We develop cut-free calculi of sequents for normal modal logics by using treesequents, which are trees of sequences of formulas. We introduce modal operators corresponding to the ways we move formulas along the branches of such trees, only considering fixed distance movements. Finally, we exhibit syntactic cut-elimination theorems for all the main normal modal logics.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,594

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Modal Sequents for Normal Modal Logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Modal Sequents and Definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
Deep Sequent Systems for Modal Logic.Kai Brünnler - 2009 - Archive for Mathematical Logic 48 (6):551-577.
Labeled Sequent Calculi for Modal Logics and Implicit Contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Cut-Free Modal Sequents for Normal Modal Logics.Claudio Cerrato - 1993 - Notre Dame Journal of Formal Logic 34 (4):564-582.
Prefixed Tableaus and Nested Sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
An Approach to Infinitary Temporal Proof Theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Modal Sequents.Claudio Cerrato - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 141--166.
Indexed Systems of Sequents and Cut-Elimination.Grigori Mints - 1997 - Journal of Philosophical Logic 26 (6):671-696.
Sequent-Systems for Modal Logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.

Analytics

Added to PP
2013-12-01

Downloads
3 (#1,305,007)

6 months
2 (#278,494)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Proof Theory.Gaisi Takeuti - 1975 - Elsevier.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.

View all 7 references / Add more references