| Publication | Date of Publication | Type |
|---|
| Model comparison games for Horn description logics | 2024-12-19 | Paper |
| A non-uniform view of Craig interpolation in modal logics with linear frames | 2023-12-10 | Paper |
| Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic | 2023-10-02 | Paper |
| Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic | 2023-08-28 | Paper |
| Deciding FO-definability of regular languages | 2023-03-30 | Paper |
| Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course | 2023-03-24 | 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 |
| A tetrachotomy of ontology-mediated queries with a covering axiom | 2022-07-08 | Paper |
| First-order rewritability of ontology-mediated queries in linear temporal logic | 2021-11-02 | Paper |
| Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna | 2020-06-04 | Paper |
| Kripke completeness of strictly positive modal logics over meet-semilattices with operators | 2020-04-06 | Paper |
| Query inseparability for \(\mathcal{ALC}\) ontologies | 2019-08-28 | Paper |
| On strictly positive modal logics with \textsf{S}4.3 frames | 2019-07-24 | Paper |
| Ontology-mediated queries. Combined complexity and succinctness of rewritings via circuit complexity | 2019-02-25 | Paper |
| Querying log data with metric temporal logic | 2018-09-06 | Paper |
| On the succinctness of query rewriting over shallow ontologies | 2018-04-23 | Paper |
| Horn fragments of the Halpern-Shoham interval temporal logic | 2017-10-16 | Paper |
| Undecidability of the unification and admissibility problems for modal and description logics | 2017-07-12 | Paper |
| Logics of metric spaces | 2017-06-13 | Paper |
| Inseparability and conservative extensions of description logic ontologies: a survey | 2017-03-30 | Paper |
| On the complexity of (restricted) \(\mathcal{ALCI}r\) | 2016-06-27 | Paper |
| Games for query inseparability of description logic knowledge bases | 2016-03-08 | Paper |
| Topological logics with connectedness over Euclidean spaces | 2015-09-17 | Paper |
| A Cookbook for Temporal Conceptual Data Modelling with Description Logics | 2015-09-17 | Paper |
| On the Blok-Esakia theorem | 2015-06-19 | Paper |
| Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces | 2014-10-27 | Paper |
| The price of query rewriting in ontology-based data access | 2014-06-10 | Paper |
| The complexity of clausal fragments of LTL | 2014-01-17 | Paper |
| A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions | 2013-09-06 | Paper |
| Exponential lower bounds and separation for query rewriting | 2012-11-01 | Paper |
| Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\) | 2012-08-05 | Paper |
| Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models | 2011-10-07 | Paper |
| A modal logic framework for reasoning about comparative distances and topology | 2011-08-26 | Paper |
| Modal logics for metric spaces: open problems | 2011-07-06 | Paper |
| Monodic fragments of first-order temporal logics: 2000--2001 A.D. | 2011-05-06 | Paper |
| Topology, connectedness, and modal logic | 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 |
| A tableau algorithm for reasoning about concepts and similarity | 2010-03-09 | Paper |
| DL-Lite with temporalised concepts, rigid axioms and roles | 2010-01-07 | Paper |
| The DL-Lite Family and Relations | 2009-12-10 | Paper |
| Axiomatizing distance logics | 2009-11-30 | Paper |
| On the Computational Complexity of Spatial Logics with Connectedness Constraints | 2009-01-27 | Paper |
| Automated Reasoning About Metric and Topology | 2008-10-30 | Paper |
| Temporalising Logics: Fifteen Years After | 2008-09-16 | Paper |
| Conservative extensions in modal logic | 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 |
| 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 |
| Undecidability of First-Order Intuitionistic and Modal Logics with Two variables | 2006-02-08 | Paper |
| \({\mathcal E}\)-connections of abstract description systems | 2006-02-07 | Paper |
| Products of ‘transitive” modal logics | 2006-01-16 | Paper |
| A logic for metric and topology | 2006-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715695 | 2006-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465443 | 2005-08-22 | Paper |
| Temporalising tableaux | 2004-08-06 | Paper |
| Many-dimensional modal logics: theory and applications | 2004-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708910 | 2003-06-20 | Paper |
| Multi-dimensional modal logic as a framework for spatio-temporal reasoning | 2003-03-12 | Paper |
| A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains | 2003-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789450 | 2003-01-29 | Paper |
| On the Products of Linear Modal Logics | 2003-01-07 | 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/Q4329229 | 2002-10-08 | 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 |
| Common knowledge and quantification | 2002-05-21 | Paper |
| Temporalizing description logics | 2002-04-03 | Paper |
| Decidable fragments of first-order modal logics | 2002-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942002 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394923 | 2001-01-29 | 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/Q4703137 | 1999-12-14 | 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 |
| The greatest extension of S4 into which intuitionistic logic is embeddable | 1999-07-20 | Paper |
| Canonical formulas for K4. Part III: the finite model property | 1998-07-20 | Paper |
| Canonical formulas for K4. Part II: Cofinal subframe logics | 1998-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3128959 | 1997-04-24 | Paper |
| On the Independent Axiomatizability of Modal and Intermediate Logics | 1997-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873968 | 1996-09-22 | Paper |
| A new solution to a problem of Hosoi and Ono | 1996-05-13 | Paper |
| All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable | 1995-02-20 | Paper |
| A Sufficient Condition for the Finite Model Property of Modal Logics above K4 | 1994-11-24 | Paper |
| The undecidability of the disjunction property of propositional logics and other related problems | 1994-01-26 | Paper |
| Canonical formulas for K4. Part I: Basic results | 1993-04-01 | Paper |
| Modal companions of intermediate propositional logics | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003006 | 1992-09-18 | Paper |
| The disjunction property of intermediate propositional logics | 1992-06-27 | Paper |
| MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3475247 | 1990-01-01 | Paper |
| Syntax and semantics of superintuitionistic logics | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4204133 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4204132 | 1988-01-01 | Paper |
| Syntax and semantics of modal logics containing S4 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787975 | 1987-01-01 | Paper |
| Disjunctive property of superintuitionist and modal logics | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783273 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3726083 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340837 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206347 | 1978-01-01 | Paper |
| Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations | N/A | Paper |
