| The intensional side of algebraic-topological representation theorems | 0 | 0.34 | 2021 |
| Theorem Proving for Non-normal Modal Logics. | 0 | 0.34 | 2020 |
| Proof theory for quantified monotone modal logics | 0 | 0.34 | 2019 |
| Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus. | 0 | 0.34 | 2018 |
| The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. | 0 | 0.34 | 2016 |
| Glivenko sequent classes in the light of structural proof theory. | 0 | 0.34 | 2016 |
| Proof analysis beyond geometric theories: from rule systems to systems of rules | 9 | 0.67 | 2016 |
| Proof Analysis for Lewis Counterfactuals. | 1 | 0.37 | 2016 |
| A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding. | 6 | 0.55 | 2016 |
| Geometrisation of first-order logic | 9 | 0.53 | 2015 |
| A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics | 2 | 0.41 | 2015 |
| Proofs and Countermodels in Non-Classical Logics. | 4 | 0.50 | 2014 |
| The Church–Fitch knowability paradox in the light of structural proof theory | 9 | 0.73 | 2013 |
| Proof analysis in intermediate logics | 27 | 1.22 | 2012 |
| Countermodels from Sequent Calculi in Multi-Modal Logics | 8 | 0.63 | 2012 |
| Does the deduction theorem fail for modal logic? | 14 | 0.98 | 2012 |
| Reasoning About Collectively Accepted Group Beliefs | 9 | 0.58 | 2011 |
| Proof Theory for Distributed Knowledge | 2 | 0.39 | 2007 |
| Decision methods for linearly ordered Heyting algebras | 6 | 0.57 | 2006 |
| Proof Analysis in Modal Logic | 102 | 4.94 | 2005 |
| Proof systems for lattice theory | 10 | 1.16 | 2004 |
| Sequent Calculus in Natural Deduction Style | 7 | 1.10 | 2001 |
| Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic | 11 | 1.81 | 2000 |
| Cut elimination in the presence of axioms | 42 | 4.81 | 1998 |
| Continous Lattices in Formal Topology | 2 | 0.80 | 1996 |
