| Publication | Date of Publication | Type |
|---|
| Conservative translations revisited | 2023-06-13 | Paper |
| Adding abductive reasoning to a propositional logic | 2022-09-22 | Paper |
| Object interaction | 2022-08-18 | 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 |
| PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS | 2017-05-31 | Paper |
| A Roadmap to Decidability | 2015-06-24 | Paper |
| Probabilistic situation calculus | 2015-06-17 | 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 |
| Completeness and interpolation of almost-everywhere quantification over finitely additive measures | 2013-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851801 | 2013-10-04 | Paper |
| Importing logics: soundness and completeness preservation | 2013-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918417 | 2013-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4914978 | 2013-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4912848 | 2013-03-27 | Paper |
| On combined connectives | 2013-03-21 | Paper |
| On meet-combination of logics | 2013-01-14 | Paper |
| Importing logics | 2012-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007251 | 2011-06-21 | Paper |
| Preservation by fibring of the finite model property | 2011-06-10 | Paper |
| Fusion of sequent modal logic systems labelled with truth values | 2010-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571948 | 2010-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560845 | 2010-05-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 |
| https://portal.mardi4nfdi.de/entity/Q3527403 | 2008-09-29 | Paper |
| Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems | 2008-05-05 | Paper |
| Preservation of Interpolation Features by Fibring | 2008-03-12 | Paper |
| Analysis and synthesis of logics. How to cut and paste reasoning systems | 2008-02-07 | Paper |
| Quantum Institutions | 2007-09-07 | Paper |
| NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS | 2007-03-27 | Paper |
| Modal Sequent Calculi Labelled with Truth Values: Cut Elimination | 2005-09-28 | Paper |
| Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity | 2004-10-28 | Paper |
| Categorical foundations for randomly timed automata | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737137 | 2004-08-11 | Paper |
| Modulated fibring and the collapsing problem | 2004-03-01 | Paper |
| Fibring Logics with Topos Semantics | 2003-11-10 | Paper |
| Fibring Modal First-Order Logics: Completeness Preservation | 2003-08-24 | Paper |
| Fibring Labelled Deduction Systems | 2003-05-29 | Paper |
| Fibring non-truth-functional logics: Completeness preservation | 2003-04-27 | Paper |
| A two-level temporal logic for evolving specifications. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2782494 | 2002-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329241 | 2002-04-29 | Paper |
| Fibring: completeness preservation | 2002-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722028 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499225 | 2001-03-04 | Paper |
| Fibring of logics as a categorial construction | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942098 | 2000-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941925 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4400804 | 1999-02-02 | Paper |
| Denotational semantics of object specification | 1998-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373557 | 1998-05-10 | Paper |
| Synchronization of logics | 1997-11-13 | Paper |
| A temporal logic approach to object certification | 1997-02-27 | Paper |
| Object Specification Logic | 1995-10-04 | Paper |
| Object inheritance beyond subtyping | 1994-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3468602 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3820049 | 1988-01-01 | Paper |
| The Role of Conceptual Modelling Abstractions in Compiler Development | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745334 | 1986-01-01 | Paper |
