| Publication | Date of Publication | Type |
|---|
| On Diagrams and General Model Checkers | 2023-02-23 | Paper |
| A sphere world semantics for default reasoning | 2022-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992401 | 2021-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5858676 | 2021-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5116417 | 2020-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3119359 | 2019-03-11 | Paper |
| PDL for structured data: a graph-calculus approach | 2019-01-08 | Paper |
| On graphs for intuitionistic modal logics | 2018-04-23 | Paper |
| On a graph calculus for modalities | 2017-06-15 | Paper |
| On graph calculi for multi-modal logics | 2016-08-01 | Paper |
| On methods for safe introduction of operations | 2016-06-09 | Paper |
| On a graph approach to modal logics | 2016-05-10 | Paper |
| On the Structure of Natural Deduction Derivations for “Generally” | 2015-05-22 | Paper |
| A Tool for Analysing Logics | 2015-03-18 | Paper |
| Sequent Calculi for ‘Generally’ | 2013-12-13 | Paper |
| Reasoning with Graphs | 2013-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918410 | 2013-04-24 | Paper |
| On vague notions and modalities: a modular approach | 2010-07-26 | Paper |
| On graph reasoning | 2009-10-09 | Paper |
| Positive Fork Graph Calculus | 2009-02-24 | Paper |
| On a Graph Calculus for Algebras of Relations | 2008-07-10 | Paper |
| On Positive Relational Calculi | 2008-01-18 | Paper |
| Natural Deduction for 'Generally' | 2008-01-18 | Paper |
| On fork arrow logic and its expressive power | 2007-10-22 | Paper |
| On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates | 2006-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367290 | 2006-01-24 | Paper |
| Advances in Artificial Intelligence – SBIA 2004 | 2005-08-22 | Paper |
| An Application of Logic Engineering | 2005-08-03 | Paper |
| On ultrafilter logic and special functions | 2005-04-07 | Paper |
| Functional Interpretation of Logics for ‘Generally’ | 2005-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471866 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461804 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437963 | 2003-12-08 | Paper |
| Squares in fork arrow logic | 2003-08-28 | Paper |
| On local modularity and interpolation in entailment systems. | 2003-01-21 | Paper |
| On local modularity variants and \(\Pi\)-institutions | 2002-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971258 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3940881 | 1982-01-01 | Paper |
