In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 516-537 (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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,355
External links
(no proxy) 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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Handbook of Modal Logic.Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.) - 2006 - Elsevier.
Power and Weakness of the Modal Display Calculus.Marcus Kracht - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 93--121.
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.Rajeev Gore - unknown
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic.Rajeev Goré, Linda Postniece & Alwen Tiu - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 156-177.
View all 7 references / Add more references
Citations of this work BETA
On the Correspondence Between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
On Deriving Nested Calculi for Intuitionistic Logics From Semantic Systems.Tim Lyon - 2020 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 177-194.
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. 93413 Cham, Germany: Springer. pp. 202-218.
Similar books and articles
Cut-Elimination and Proof-Search for Bi-Intuitionistic Logic Using Nested Sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 43-66.
Decision Procedures for Some Strong Hybrid Logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.Rajeev Gore - unknown
2-Sequent Calculus: A Proof Theory of Modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
The Deduction Rule and Linear and Near-Linear Proof Simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{T}}$$ L T → T for Implicational Ticket Entailment.Katalin Bimbó & J. Michael Dunn - 2014 - Logica Universalis 8 (2):141-164.
Non-Classical Elegance for Sequent Calculus Enthusiasts.Andreas Fjellstad - 2017 - Studia Logica 105 (1):93-119.
Proof Analysis in Intermediate Logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.
Partial and Paraconsistent Three-Valued Logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
Canonical Proof Nets for Classical Logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
Labeled Sequent Calculus for Justification Logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
A Formalization of Sambins's Normalization for GL.Edward Hermann Haeusler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.
Analytics
Added to PP index
2018-02-17
Total views
5 ( #1,207,781 of 2,519,632 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,632 )
2018-02-17
Total views
5 ( #1,207,781 of 2,519,632 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,632 )
How can I increase my downloads?
Downloads
