| Publication | Date of Publication | Type |
|---|
| A non-uniform view of Craig interpolation in modal logics with linear frames | 2023-12-10 | Paper |
| Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions | 2023-11-03 | Paper |
| Ontology-mediated query answering over temporal data: a survey (invited talk) | 2023-02-03 | Paper |
| First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries | 2023-01-09 | Paper |
| Logical separability of labeled data examples under ontologies | 2022-11-08 | Paper |
| Ontology-Based Data Access | 2021-11-25 | Paper |
| First-order rewritability of ontology-mediated queries in linear temporal logic | 2021-11-02 | Paper |
| Dichotomies in Ontology-Mediated Querying with the Guarded Fragment | 2020-09-11 | Paper |
| A tour of Franz Baader's contributions to knowledge representation and automated deduction | 2020-06-04 | Paper |
| KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS | 2020-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5232905 | 2019-09-13 | Paper |
| Query inseparability for \(\mathcal{ALC}\) ontologies | 2019-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224579 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4558528 | 2018-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4596784 | 2017-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282990 | 2017-07-18 | Paper |
| Undecidability of the unification and admissibility problems for modal and description logics | 2017-07-12 | Paper |
| On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems | 2017-06-13 | Paper |
| Logics of metric spaces | 2017-06-13 | Paper |
| Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey | 2017-03-30 | Paper |
| Query and Predicate Emptiness in Ontology-Based Data Access | 2016-05-11 | Paper |
| Automata for Ontologies | 2016-04-13 | Paper |
| Games for query inseparability of description logic knowledge bases | 2016-03-08 | Paper |
| Model-theoretic inseparability and modularity of description logic ontologies | 2015-06-26 | Paper |
| On the Blok-Esakia Theorem | 2015-06-19 | Paper |
| Decidability of Circumscribed Description Logics Revisited | 2015-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851821 | 2013-10-04 | Paper |
| Logical Difference Computation with CEX2.5 | 2012-09-05 | Paper |
| The Logical Difference for the Lightweight Description Logic EL | 2012-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904059 | 2012-08-05 | Paper |
| Foundations of instance level updates in expressive description logics | 2012-05-23 | Paper |
| A modal logic framework for reasoning about comparative distances and topology | 2011-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012529 | 2011-07-06 | Paper |
| Enriching [Escr [Lscr ]-Concepts with Greatest Fixpoints] | 2011-05-11 | Paper |
| Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D. | 2011-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3085165 | 2011-03-30 | Paper |
| Logic-based ontology comparison and module extraction, with an application to DL-Lite | 2011-01-31 | Paper |
| Spatial logics with connectedness predicates | 2010-09-21 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408128 | 2010-02-24 | Paper |
| The Complexity of Circumscription in DLs | 2009-12-10 | Paper |
| Deciding inseparability and conservative extensions in the description logic | 2009-12-03 | Paper |
| Axiomatizing Distance Logics | 2009-11-30 | Paper |
| Mathematical Logic for Life Science Ontologies | 2009-07-02 | Paper |
| Formal Properties of Modularisation | 2009-06-09 | Paper |
| On the Computational Complexity of Spatial Logics with Connectedness Constraints | 2009-01-27 | Paper |
| The Logical Difference Problem for Description Logic Terminologies | 2008-11-27 | Paper |
| Reasoning About Actions Using Description Logics with General TBoxes | 2008-10-30 | Paper |
| Automated Reasoning About Metric and Topology | 2008-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509053 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509059 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509066 | 2008-07-01 | Paper |
| Comparative Similarity, Tree Automata, and Diophantine Equations | 2008-05-27 | Paper |
| A Logic for Concepts and Similarity | 2007-12-12 | Paper |
| Modal Logics of Topological Relations | 2007-10-11 | Paper |
| ATL Satisfiability is Indeed EXPTIME-complete | 2007-04-13 | Paper |
| Quantitative temporal logics over the reals: PSpace and below | 2007-02-19 | Paper |
| On dynamic topological and metric logics | 2007-02-13 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Willem Blok and modal logic | 2006-10-27 | Paper |
| Non-primitive recursive decidability of products of modal logics with expanding domains | 2006-09-14 | Paper |
| All finitely axiomatizable tense logics of linear time flows are coNP-complete | 2006-03-17 | Paper |
| \({\mathcal E}\)-connections of abstract description systems | 2006-02-07 | Paper |
| A logic for metric and topology | 2006-01-16 | Paper |
| Products of ‘transitive” modal logics | 2006-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715695 | 2006-01-04 | Paper |
| Temporalising tableaux | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460678 | 2004-03-29 | Paper |
| Many-dimensional modal logics: theory and applications | 2004-02-17 | Paper |
| A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case | 2003-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708910 | 2003-06-20 | Paper |
| A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains | 2003-03-12 | Paper |
| Multi-dimensional modal logic as a framework for spatio-temporal reasoning | 2003-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789450 | 2003-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783312 | 2002-12-04 | Paper |
| Axiomatizing the monodic fragment of first-order temporal logic | 2002-12-02 | Paper |
| Decidable fragments of first-order temporal logics | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329248 | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539602 | 2002-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536315 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536335 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4533343 | 2002-06-10 | Paper |
| Common knowledge and quantification | 2002-05-21 | Paper |
| First-order expressivity for S5-models: Modal vs. two-sorted languages | 2002-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2782498 | 2002-04-03 | Paper |
| Decidable fragments of first-order modal logics | 2002-03-26 | Paper |
| The algebraic face of minimality | 2002-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736218 | 2001-08-29 | Paper |
| The product of converse PDL and polymodal K | 2001-05-02 | Paper |
| Simulation and transfer results in modal logic -- a survey | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215611 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942002 | 2001-02-26 | Paper |
| Superintuitionistic companions of classical modal logics | 2001-01-11 | Paper |
| First order common knowledge logics | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948690 | 2000-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939661 | 2000-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4704066 | 1999-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250043 | 1999-10-18 | Paper |
| Speaking about transitive frames in propositional languages | 1999-09-02 | Paper |
| Normal monomodal logics can simulate all others | 1999-06-29 | Paper |
| On logics with coimplication | 1999-03-09 | Paper |
| A note on atoms in polymodal algebras | 1998-11-23 | Paper |
| All finitely axiomatizable subframe logics containing the provability logic CSM\(_0\) are decidable | 1998-10-25 | Paper |
| Completeness and decidability of tense logics closely related to logics above K4 | 1998-07-20 | Paper |
| A note on the interpolation property in tense logic | 1998-03-17 | Paper |
| The structure of lattices of subframe logics | 1997-12-14 | Paper |
| A counterexample in tense logic | 1997-06-26 | Paper |
| Tense Logic Without Tense Operators | 1997-03-19 | Paper |
| Properties of Tense Logics | 1996-12-12 | Paper |
| The finite model property in tense logic | 1995-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4834484 | 1995-08-27 | Paper |
| What is the upper part of the lattice of bimodal logics? | 1995-06-13 | Paper |
| Solution to a Problem of Goranko and Passy | 1994-06-05 | Paper |
| Properties of independently axiomatizable bimodal logics | 1992-06-27 | Paper |
| Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations | 0001-01-03 | Paper |
