| Publication | Date of Publication | Type |
|---|
| Machine-checked meta-theory of dual-tableaux for intuitionistic logic | 2024-09-06 | Paper |
| A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalised | 2023-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5883185 | 2023-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884958 | 2023-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874215 | 2023-02-07 | Paper |
| Verified Decision Procedures for Modal Logics. | 2023-02-03 | Paper |
| N-PAT: A Nested Model-Checker | 2022-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104710 | 2022-09-15 | Paper |
| CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT | 2022-05-25 | Paper |
| A formally verified cut-elimination procedure for linear nested sequents for tense logic | 2022-05-25 | Paper |
| Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq | 2022-05-25 | Paper |
| Machine-Checked Proof-Theory for Propositional Modal Logics | 2020-08-07 | Paper |
| A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic | 2020-05-14 | Paper |
| Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents | 2020-05-14 | Paper |
| A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC | 2020-04-06 | Paper |
| Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents | 2019-10-11 | Paper |
| A labelled sequent calculus for BBI: proof theory and proof search | 2019-01-31 | Paper |
| Free variable tableaux for propositional modal logics | 2019-01-15 | Paper |
| Well-founded unions | 2018-10-18 | Paper |
| Modular Labelled Sequent Calculi for Abstract Separation Logics | 2018-08-10 | Paper |
| Issues in machine-checking the decidability of implicational ticket entailment | 2018-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283778 | 2017-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2958523 | 2017-02-02 | Paper |
| Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi | 2016-09-05 | Paper |
| Automated Theorem Proving for Assertions in Separation Logic with All Connectives | 2015-12-02 | Paper |
| Sequent Calculus in the Topos of Trees | 2015-10-01 | Paper |
| The Tableau Workbench | 2015-03-23 | Paper |
| An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability | 2015-03-23 | Paper |
| A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description | 2014-09-26 | Paper |
| And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL | 2014-09-26 | Paper |
| Implementing Tableau Calculi Using BDDs: BDDTab System Description | 2014-09-26 | Paper |
| From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic | 2014-09-15 | Paper |
| Cut-elimination for weak Grzegorczyk logic Go | 2014-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419884 | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419898 | 2014-06-11 | Paper |
| Proof search for propositional abstract separation logics via labelled sequents | 2014-04-10 | Paper |
| Computer-aided decision-making with trust relations and trust domains (cryptographic applications) | 2014-04-01 | Paper |
| A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search | 2013-10-04 | Paper |
| A new machine-checked proof of strong normalisation for display logic | 2013-08-27 | Paper |
| ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching | 2013-07-05 | Paper |
| An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description | 2013-06-14 | Paper |
| Analysing Vote Counting Algorithms via Logic | 2013-06-14 | Paper |
| BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics | 2012-09-05 | Paper |
| Cut-elimination and proof search for bi-intuitionistic tense logic | 2012-08-05 | Paper |
| Valentini's cut-elimination for provability logic resolved | 2012-06-11 | Paper |
| Craig Interpolation in Displayable Logics | 2011-07-01 | Paper |
| On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics | 2011-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086940 | 2011-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086939 | 2011-03-30 | Paper |
| Generic Methods for Formalising Sequent Calculi Applied to Provability Logic | 2010-10-12 | Paper |
| A proof theoretic analysis of intruder theories | 2010-09-21 | Paper |
| Global Caching for Coalgebraic Description Logics | 2010-09-14 | Paper |
| Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse | 2010-09-14 | Paper |
| Optimal Tableau Algorithms for Coalgebraic Logics | 2010-04-27 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic | 2010-02-19 | Paper |
| Completeness of hyper-resolution via the semantics of disjunctive logic programs | 2009-12-04 | Paper |
| Sound global state caching for ALC with inverse roles | 2009-12-01 | Paper |
| Taming displayed tense logics using nested sequents with deep inference | 2009-12-01 | Paper |
| Clausal Tableaux for Multimodal Logics of Belief | 2009-09-22 | Paper |
| A First-Order Policy Language for History-Based Transaction Monitoring | 2009-08-20 | Paper |
| An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability | 2009-07-28 | Paper |
| A Proof Theoretic Analysis of Intruder Theories | 2009-06-30 | Paper |
| TERMINATION OF ABSTRACT REDUCTION SYSTEMS | 2009-04-14 | Paper |
| Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs | 2009-02-12 | Paper |
| Machine Checking Proof Theory: An Application of Logic to Logic | 2009-02-12 | Paper |
| An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description) | 2008-11-27 | Paper |
| One-Pass Tableaux for Computation Tree Logic | 2008-05-15 | Paper |
| EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies | 2008-01-04 | Paper |
| A Cut-Free Sequent Calculus for Bi-intuitionistic Logic | 2008-01-04 | Paper |
| Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 | 2007-11-19 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430395 | 2003-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415138 | 2003-07-28 | Paper |
| Display Calculi for Nominal Tense Logics | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484337 | 2003-06-12 | Paper |
| Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics | 2003-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4785551 | 2003-01-05 | Paper |
| Free-variable tableaux for propositional modal logics | 2002-09-03 | Paper |
| Display calculi for logics with relative accessibility relations | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771720 | 2002-03-12 | Paper |
| Tableau methods for modal and temporal logics | 2001-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721200 | 2001-07-01 | Paper |
| Embedding display calculi into logical frameworks: Comparing Twelf and Isabelle | 2001-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503908 | 2001-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263154 | 2000-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263013 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246973 | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247208 | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247207 | 1999-12-06 | Paper |
| Gaggles, Gentzen and Galois: how to display your favourite substructural logic | 1999-07-07 | Paper |
| Substructural logics on display | 1998-06-08 | Paper |
| Relations between propositional normal modal logics: an overview | 1998-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362918 | 1997-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688809 | 1997-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4295875 | 1994-11-24 | Paper |
| Cut-free sequent and tableau systems for propositional Diodorean modal logics | 1994-11-10 | Paper |
