In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 279-299 (2012)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Buy the book Find it on Amazon.com
ISBN(s)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Collected Papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam: North-Holland Pub. Co..
Modal Logic.Alexander Chagrov - 1997 - Oxford, England: Oxford University Press.
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.

View all 17 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Two Types of Multiple-Conclusion Systems.A. Avron - 1998 - Logic Journal of the IGPL 6 (5):695-718.
Grafting Hypersequents Onto Nested Sequents.Roman Kuznets & Björn Lellmann - 2016 - Logic Journal of the IGPL 24 (3):375-423.
Modal Tree‐Sequents.Claudio Cerrato - 1996 - Mathematical Logic Quarterly 42 (1):197-210.
Higher-Order Sequent-System for Intuitionistic Modal Logic.Kosta Dosen - 1985 - Bulletin of the Section of Logic 14 (4):140-142.
Translation of Hypersequents Into Display Sequents.H. Wansing - 1998 - Logic Journal of the IGPL 6 (5):719-734.
Tree Models and (Labeled) Categorial Grammar.Yde Venema - 1996 - Journal of Logic, Language and Information 5 (3-4):253-277.
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.
Intuitionistic Socratic Procedures.Tomasz F. Skura - 2005 - Journal of Applied Non-Classical Logics 15 (4):453-464.
Nested Sequents for Intuitionistic Logics.Melvin Fitting - 2014 - Notre Dame Journal of Formal Logic 55 (1):41-61.

Analytics

Added to PP index
2018-02-17

Total views
4 ( #1,282,528 of 2,518,495 )

Recent downloads (6 months)
1 ( #408,186 of 2,518,495 )

How can I increase my downloads?

Downloads

My notes