Modal sequents

In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 141--166 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

Cut-Free Modal Sequents for Normal Modal Logics.Claudio Cerrato - 1993 - Notre Dame Journal of Formal Logic 34 (4):564-582.
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.
Modal Tree‐Sequents.Claudio Cerrato - 1996 - Mathematical Logic Quarterly 42 (1):197-210.
Sequent-Systems for Modal Logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.
Prefixed Tableaus and Nested Sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Indexed Systems of Sequents and Cut-Elimination.Grigori Mints - 1997 - Journal of Philosophical Logic 26 (6):671-696.
Refutation Systems in Modal Logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.

Analytics

Added to PP
2014-01-31

Downloads
11 (#837,981)

6 months
1 (#417,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.

Add more citations

References found in this work

No references found.

Add more references