| Publication | Date of Publication | Type |
|---|
| Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic | 2024-02-29 | Paper |
| Semantical analysis of the logic of bunched implications | 2023-08-10 | Paper |
| Investigations into proof-search in a system of first-order dependent function types | 2023-04-28 | Paper |
| Defining Logical Systems via Algebraic Constraints on Proofs | 2023-01-05 | Paper |
| A stone-type duality theorem for separation logic via its underlying bunched logics | 2022-04-25 | Paper |
| A substructural epistemic resource logic: theory and modelling applications | 2020-02-17 | Paper |
| Resource-distribution via Boolean constraints | 2019-10-01 | Paper |
| A Substructural Epistemic Resource Logic | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3121529 | 2019-03-18 | Paper |
| Trust domains in system models: algebra, logic, utility, and combinators | 2019-01-31 | Paper |
| Proof-terms for classical and intuitionistic resolution | 2019-01-15 | Paper |
| On the intuitionistic force of classical search (Extended abstract) | 2019-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553286 | 2018-11-02 | Paper |
| Modular tableaux calculi for separation theories | 2018-07-17 | Paper |
| A Substructural Modal Logic of Utility | 2018-02-13 | Paper |
| Coalgebraic completeness-via-canonicity for distributive substructural logics | 2017-10-13 | Paper |
| Resource-distribution via Boolean constraints | 2017-06-13 | Paper |
| Layered graph logic as an assertion language for access control policy models | 2017-05-17 | Paper |
| Erratum to: A substructural logic for layered graphs | 2017-05-17 | Paper |
| Intuitionistic Layered Graph Logic | 2016-09-05 | Paper |
| A logic of separating modalities | 2016-06-03 | Paper |
| A calculus and logic of bunched resources and processes | 2016-01-21 | Paper |
| Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective | 2016-01-08 | Paper |
| A substructural logic for layered graphs | 2015-01-12 | Paper |
| A proof-theoretic analysis of the classical propositional matrix method | 2014-04-01 | Paper |
| Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2855318 | 2013-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851322 | 2013-10-10 | Paper |
| Erratum to: ``Algebra and logic for access control | 2010-05-28 | Paper |
| Algebra and logic for access control | 2010-05-05 | Paper |
| A Logical and Computational Theory of Located Resource | 2010-01-14 | Paper |
| Algebra and logic for resource-based systems modelling | 2009-11-11 | Paper |
| A Games Model of Bunched Implications | 2009-03-05 | Paper |
| Bunched polymorphism | 2008-12-10 | Paper |
| On categorical models of classical logic and the Geometry of Interaction | 2007-12-12 | Paper |
| Errata for ``A calculus and logic of resources and processes and their consequences | 2007-11-28 | Paper |
| A calculus and logic of resources and processes | 2006-12-20 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| The semantics of BI and resource tableaux | 2006-02-21 | Paper |
| Order-enriched categorical models of the classical sequent calculus | 2005-12-29 | Paper |
| The semantics and proof theory of the logic of bunched implications | 2005-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809790 | 2004-08-31 | Paper |
| Possible worlds and resources: The semantics of \(\mathbf{BI}\) | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411823 | 2003-07-10 | Paper |
| Kripke Resource Models of a Dependently-typed, Bunched -calculus | 2003-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539612 | 2002-07-10 | Paper |
| On the semantics of classical disjunction | 2002-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703718 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703721 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945228 | 2000-09-20 | Paper |
| Proof-terms for classical and intuitionistic resolution | 2000-09-04 | Paper |
| On the intuitionistic force of classical search | 2000-08-23 | Paper |
| Proof-search in type-theoretic languages: An introduction | 2000-08-23 | Paper |
| The Logic of Bunched Implications | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255503 | 1999-08-16 | Paper |
| A relevant analysis of natural deduction | 1999-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223033 | 1999-01-10 | Paper |
| A note on the proof theory of the \(\lambda \Pi\)-calculus | 1996-02-20 | Paper |
| A Uniform Proof-theoretic Investigation of Linear Logic Programming | 1994-10-17 | Paper |
| A UNIFICATION ALGORITHM FOR THE λΠ-CALCULUS | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012884 | 1992-09-27 | Paper |
| From Basic Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic | 0001-01-03 | Paper |
| WITHDRAWN: Provability in BI's Sequent Calculus is Decidable | 0001-01-03 | Paper |
| Categorical Proof-Theoretic Semantics | 0001-01-03 | Paper |
| Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic | 0001-01-03 | Paper |
| Proof-theoretic Semantics for the Logic of Bunched Implications | 0001-01-03 | Paper |
| Base-extension Semantics for Modal Logic | 0001-01-03 | Paper |
| Inferentialist Resource Semantics | 0001-01-03 | Paper |
| Base-extension Semantics for S5 Modal Logic | 0001-01-03 | Paper |
