Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Restall, Greg
2009.
Truth Values and Proof Theory.
Studia Logica,
Vol. 92,
Issue. 2,
p.
241.
Andrikonis, J.
2009.
Cut elimination for S4 n and K4 n with the central agent axiom.
Lithuanian Mathematical Journal,
Vol. 49,
Issue. 2,
p.
123.
Poggiolesi, Francesca
2009.
Towards Mathematical Philosophy.
Vol. 28,
Issue. ,
p.
31.
GORÉ, RAJEEV
and
RAMANAYAKE, REVANTHA
2012.
VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED.
The Review of Symbolic Logic,
Vol. 5,
Issue. 2,
p.
212.
Poggiolesi, Francesca
2012.
The Realism-Antirealism Debate in the Age of Alternative Logics.
p.
169.
Poggiolesi, FrancescaGreg Restall
and
Restall, Greg
2012.
New Waves in Philosophical Logic.
p.
39.
Gratzl, Norbert
2013.
Logic, Rationality, and Interaction.
Vol. 8196,
Issue. ,
p.
124.
Poggiolesi, Francesca
2013.
From Single Agent to Multi-Agent via Hypersequents.
Logica Universalis,
Vol. 7,
Issue. 2,
p.
147.
Ciabattoni, Agata
Ramanayake, Revantha
and
Wansing, Heinrich
2014.
Hypersequent and Display Calculi – a Unified Perspective.
Studia Logica,
Vol. 102,
Issue. 6,
p.
1245.
Lellmann, Björn
2014.
Automated Reasoning.
Vol. 8562,
Issue. ,
p.
307.
Ramanayake, R.
2015.
Embedding the hypersequent calculus in the display calculus.
Journal of Logic and Computation,
Vol. 25,
Issue. 3,
p.
921.
Indrzejczak, Andrzej
2015.
Eliminability of cut in hypersequent calculi for some modal logics of linear frames.
Information Processing Letters,
Vol. 115,
Issue. 2,
p.
75.
Lellmann, Björn
2015.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 9323,
Issue. ,
p.
135.
Lellmann, Björn
2016.
Hypersequent rules with restricted contexts for propositional modal logics.
Theoretical Computer Science,
Vol. 656,
Issue. ,
p.
76.
INDRZEJCZAK, ANDRZEJ
2016.
LINEAR TIME IN HYPERSEQUENT FRAMEWORK.
The Bulletin of Symbolic Logic,
Vol. 22,
Issue. 1,
p.
121.
Poggiolesi, Francesca
2016.
Objectivity, Realism, and Proof.
Vol. 318,
Issue. ,
p.
291.
Fjellstad, Andreas
2017.
Non-classical Elegance for Sequent Calculus Enthusiasts.
Studia Logica,
Vol. 105,
Issue. 1,
p.
93.
Fjellstad, Andreas
2018.
Infinitary Contraction-Free Revenge.
Thought: A Journal of Philosophy,
Vol. 7,
Issue. 3,
p.
179.
Ciabattoni, Agata
Lang, Timo
and
Ramanayake, Revantha
2019.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 11714,
Issue. ,
p.
94.
Girlando, Marianna
Lellmann, Björn
and
Olivetti, Nicola
2019.
Logics in Artificial Intelligence.
Vol. 11468,
Issue. ,
p.
709.