Power and weakness of the modal display calculus

In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 93--121 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,377

External links

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

Through your library

My notes

Similar books and articles

Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
On the completeness of classical modal display logic.Rajeev Goré - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 2--137.
Review: Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev, Advances in Modal Logic. [REVIEW]Edwin D. Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-97.
Marcus Kracht. Tools and techniques in modal logic. Studies in logic and the foundations of mathematics, vol. 142. Elsevier, Amsterdam etc. 1999, xiii + 559 pp. [REVIEW]Guram Bezhanishvili - 2001 - Bulletin of Symbolic Logic 7 (2):278-279.
The display problem.N. D. Belnap - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 79--93.
A contraction-free sequent calculus for 54.Jorg Hudelmaffir - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers.
A contraction-free sequent calculus for S4.Jörg Hudelmaier - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 3--15.
Transfer of sequent calculus strategies to resolution for S4.Grigori Mints, Vladimir Orevkov & Tanel Tammet - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 2--17.
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures.Alwen Tiu, Egor Ianovski & Rajeev Goré - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 516-537.
From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 120 - 139.

Analytics

Added to PP
2014-01-31

Downloads
21 (#853,621)

6 months
3 (#1,642,919)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references