| Publication | Date of Publication | Type |
|---|
| Algebraic tools for default modal systems | 2024-02-08 | Paper |
| Non-monotonic reasoning via dynamic consequence | 2023-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5878365 | 2023-02-21 | Paper |
| Copy and remove as dynamic operators | 2022-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018505 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015266 | 2021-12-07 | Paper |
| Default modal systems as algebraic updates | 2021-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155666 | 2021-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992392 | 2021-06-08 | Paper |
| The complexity of definability by open first-order formulas | 2021-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5141772 | 2020-12-18 | Paper |
| A tableaux calculus for default intuitionistic logic | 2020-03-10 | Paper |
| Interpolation and Beth definability in default logics | 2020-02-18 | Paper |
| Reasoning About Prescription and Description Using Prioritized Default Rules | 2019-07-04 | Paper |
| Satisfiability for relation-changing logics | 2019-01-31 | Paper |
| Relation-changing modal operators: Fig. 1. | 2019-01-08 | Paper |
| The lattice of congruences of a finite line frame | 2018-11-20 | Paper |
| Deciding open definability via subisomorphisms | 2018-10-18 | Paper |
| Undecidability of relation-changing modal logics | 2018-04-12 | Paper |
| The modal logic of copy and remove | 2017-09-04 | Paper |
| SYMMETRIES IN MODAL LOGICS | 2017-05-26 | Paper |
| Hilbert-Style Axiomatization for Hybrid XPath with Data | 2016-11-30 | Paper |
| Unsorted Functional Translations | 2016-10-07 | Paper |
| Symmetric blocking | 2015-12-08 | Paper |
| Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization | 2015-08-25 | Paper |
| Modal Satisfiability via SMT Solving | 2015-06-22 | Paper |
| Experiments in Theorem Proving for Topological Hybrid Logic | 2015-03-23 | Paper |
| Swap logic | 2015-02-27 | Paper |
| Logics with Copy and Remove | 2015-01-13 | Paper |
| Completeness in hybrid type theory | 2014-12-18 | Paper |
| Characterization, definability and separation via saturated models | 2014-06-10 | Paper |
| Dealing with Symmetries in Modal Tableaux | 2013-10-04 | Paper |
| Tableaux for Relation-Changing Modal Logics | 2013-09-20 | Paper |
| Galois Connections in Categorial Type Logic | 2013-05-24 | Paper |
| Moving Arrows and Four Model Checking Results | 2012-09-21 | Paper |
| Completeness results for memory logics | 2012-04-10 | Paper |
| THE EXPRESSIVE POWER OF MEMORY LOGICS | 2011-10-21 | Paper |
| Combining Theories: The Ackerman and Guarded Fragments | 2011-10-07 | Paper |
| Using Logic in the Generation of Referring Expressions | 2011-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007241 | 2011-06-21 | Paper |
| Basic Model Theory for Memory Logics | 2011-05-27 | Paper |
| Resolution with order and selection for hybrid logics | 2011-04-05 | Paper |
| Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) | 2011-03-22 | Paper |
| Modal Logics with Counting | 2010-09-29 | Paper |
| Tableaux and Model Checking for Memory Logics | 2009-12-01 | Paper |
| Completeness Results for Memory Logics | 2009-02-24 | Paper |
| Expressive Power and Decidability for Memory Logics | 2008-07-10 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465442 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809053 | 2004-08-12 | Paper |
| Analyzing the core of categorial grammar | 2004-08-06 | Paper |
| Repairing the interpolation theorem in quantified modal logic | 2003-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430391 | 2003-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4546706 | 2003-07-05 | Paper |
| Bringing them all Together | 2002-09-25 | Paper |
| Resolution in Modal, Description and Hybrid Logic | 2002-07-28 | Paper |
| Hybrid logics: characterization, interpolation and complexity | 2002-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2776457 | 2002-02-28 | Paper |
| Failure of interpolation in combined modal logics | 2001-07-17 | Paper |
| The computational complexity of hybrid temporal logics | 2001-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945233 | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263164 | 2000-02-17 | Paper |
