| Publication | Date of Publication | Type |
|---|
Uniform Lyndon interpolation for basic non-normal modal and conditional logics
Journal of Logic and Computation | 2025-09-30 | Paper |
| Proof theory for Lax Logic | 2024-10-01 | Paper |
| A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalised | 2023-09-01 | Paper |
| Universal Proof Theory, TACL 2022 Lecture Notes | 2023-05-18 | Paper |
Uniform Lyndon interpolation for intuitionistic monotone modal logic
(available as arXiv preprint) | 2023-03-24 | Paper |
| Logics and Admissible Rules of Constructive Set Theories | 2022-12-06 | Paper |
The G4i analogue of a G3i sequent calculus
Studia Logica | 2022-11-29 | Paper |
| Proof Theory for Lax Logic | 2022-09-19 | Paper |
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics
(available as arXiv preprint) | 2022-08-10 | Paper |
Uniform Lyndon interpolation for intuitionistic monotone modal logic
(available as arXiv preprint) | 2022-08-09 | Paper |
Uniform Lyndon interpolation for basic non-normal modal logics
(available as arXiv preprint) | 2022-06-24 | Paper |
Logics of intuitionistic Kripke-Platek set theory
Annals of Pure and Applied Logic | 2021-09-30 | Paper |
Sequent calculi for intuitionistic Gödel-Löb logic
Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
| Proof Theory for Intuitionistic Strong L\"ob Logic | 2020-11-20 | Paper |
| The G4i analogue of a G3i calculus | 2020-11-20 | Paper |
Questions and dependency in intuitionistic logic
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
Questions and dependency in intuitionistic logic
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
Questions and dependency in intuitionistic logic
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
Uniform interpolation and the existence of sequent calculi
Annals of Pure and Applied Logic | 2019-10-07 | Paper |
Reasoning in circles
(available as arXiv preprint) | 2019-07-24 | Paper |
The Skolemization of prenex formulas in intermediate logics
Indagationes Mathematicae. New Series | 2019-05-02 | Paper |
Terminating sequent calculi for two intuitionistic modal logics
Journal Of Logic And Computation | 2019-01-31 | Paper |
Uniform interpolation and sequent calculi in modal logic
Archive for Mathematical Logic | 2019-01-24 | Paper |
Skolemization in intermediate logics with the finite model property
Logic Journal of the IGPL | 2019-01-08 | Paper |
Remarks on simple proofs
Simplicity: Ideals of Practice in Mathematics and the Arts | 2017-11-22 | Paper |
Structural completeness in propositional logics of dependence
Archive for Mathematical Logic | 2016-11-01 | Paper |
Consequence relations and admissible rules
Journal of Philosophical Logic | 2016-06-29 | Paper |
A syntactic approach to unification in transitive reflexive modal logics
Notre Dame Journal of Formal Logic | 2016-05-25 | Paper |
A syntactic approach to unification in transitive reflexive modal logics
Notre Dame Journal of Formal Logic | 2016-05-25 | Paper |
Stable canonical rules
The Journal of Symbolic Logic | 2016-05-09 | Paper |
On rules
Journal of Philosophical Logic | 2016-04-13 | Paper |
Tutorial on admissible rules in Gudauri
Logic, Language, and Computation | 2015-12-03 | Paper |
UNIFICATION IN INTERMEDIATE LOGICS
Journal of Symbolic Logic | 2015-11-09 | Paper |
On unification and admissible rules in Gabbay-de Jongh logics
Annals of Pure and Applied Logic | 2013-12-10 | Paper |
Eskolemization in intuitionistic logic
Journal Of Logic And Computation | 2011-10-21 | Paper |
The eskolemization of universal quantifiers
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
| On the proof theory of the existence predicate | 2011-06-21 | Paper |
Kripke models for subtheories of \textsf{CZF}
Archive for Mathematical Logic | 2010-03-02 | Paper |
Proof theory for admissible rules
Annals of Pure and Applied Logic | 2009-06-10 | Paper |
On Skolemization in constructive theories
Journal of Symbolic Logic | 2009-03-23 | Paper |
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
Logical Foundations of Computer Science | 2009-02-24 | Paper |
| scientific article; zbMATH DE number 5360299 (Why is no real title available?) | 2008-11-03 | Paper |
On Interpolation in Existence Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
The basic intuitionistic logic of proofs
Journal of Symbolic Logic | 2007-07-09 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
The Skolemization of existential quantifiers in intuitionistic logic
Annals of Pure and Applied Logic | 2006-09-14 | Paper |
On the rules of intermediate logics
Archive for Mathematical Logic | 2006-09-04 | Paper |
Properties of Intuitionistic Provability and Preservativity Logics
Logic Journal of the IGPL | 2006-03-30 | Paper |
Gentzen calculi for the existence predicate
Studia Logica | 2006-03-17 | Paper |
A Note on Linear Kripke Models
Journal Of Logic And Computation | 2005-10-18 | Paper |
Intermediate logics and Visser's rules
Notre Dame Journal of Formal Logic | 2005-07-06 | Paper |
Preservativity logic: An analogue of interpretability logic for constructive theories
Mathematical Logic Quarterly | 2003-05-22 | Paper |
| scientific article; zbMATH DE number 1735881 (Why is no real title available?) | 2002-10-07 | Paper |
A(nother) characterization of intuitionistic propositional logic
Annals of Pure and Applied Logic | 2002-07-14 | Paper |
On the admissible rules of intuitionistic propositional logic
The Journal of Symbolic Logic | 2002-06-06 | Paper |
