| Publication | Date of Publication | Type |
|---|
| Conservative translations revisited | 2023-06-13 | Paper |
| Adding abductive reasoning to a propositional logic | 2022-09-22 | Paper |
| Revisiting separation: Algorithms and complexity | 2022-01-05 | Paper |
| Time-stamped claim logic | 2022-01-05 | Paper |
| REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION | 2021-08-05 | Paper |
| Event-based time-stamped claim logic | 2021-08-03 | Paper |
| Decidability of logical theories and their combination | 2020-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5119553 | 2020-08-30 | Paper |
| Essential structure of proofs as a measure of complexity | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5226947 | 2019-08-02 | Paper |
| Probabilistic logic of quantum observations | 2019-06-18 | Paper |
| Decision and optimization problems in the unreliable-circuit logic | 2019-01-08 | Paper |
| On probability and logic | 2018-04-09 | Paper |
| Many-sorted equivalence of shiny and strongly polite theories | 2018-02-02 | Paper |
| PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS | 2017-05-31 | Paper |
| A Roadmap to Decidability | 2015-06-24 | Paper |
| Fibring as biporting subsumes asymmetric combinations | 2015-02-27 | Paper |
| Approximate reasoning about logic circuits with single-fan-out unreliable gates | 2015-02-11 | Paper |
| Craig interpolation in the presence of unreliable connectives | 2015-02-05 | Paper |
| Preservation of Craig interpolation by the product of matrix logics | 2014-04-17 | Paper |
| Revisiting the Equivalence of Shininess and Politeness | 2014-01-17 | Paper |
| Completeness and interpolation of almost-everywhere quantification over finitely additive measures | 2013-10-30 | Paper |
| Importing logics: soundness and completeness preservation | 2013-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918417 | 2013-04-24 | Paper |
| On combined connectives | 2013-03-21 | Paper |
| On meet-combination of logics | 2013-01-14 | Paper |
| Importing logics | 2012-12-12 | Paper |
| Fusion of sequent modal logic systems labelled with truth values | 2010-12-14 | Paper |
| A Graph-theoretic Account of Logics | 2010-01-14 | Paper |
| On Graph-theoretic Fibring of Logics | 2010-01-14 | Paper |
| Truth-values as labels: a general recipe for labelled deduction | 2009-11-11 | Paper |
| Interpolation via translations | 2009-10-14 | Paper |
| Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification | 2008-12-22 | Paper |
| ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES | 2008-11-03 | Paper |
| Preservation of Interpolation Features by Fibring | 2008-03-12 | Paper |
| Sufficient conditions for cut elimination with complexity analysis | 2007-11-27 | Paper |
| Modal Sequent Calculi Labelled with Truth Values: Cut Elimination | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737137 | 2004-08-11 | Paper |
| Modulated fibring and the collapsing problem | 2004-03-01 | Paper |
| Fibring Labelled Deduction Systems | 2003-05-29 | Paper |
