Publication | Date of Publication | Type |
---|
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 |
https://portal.mardi4nfdi.de/entity/Q5224579 | 2019-07-24 | Paper |
Ontology-Mediated Queries | 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) AlCIr | 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 SROIQ with Complex Role Chains and Unions | 2013-09-06 | Paper |
Exponential Lower Bounds and Separation for Query Rewriting | 2012-11-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q2904059 | 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 |
https://portal.mardi4nfdi.de/entity/Q3012529 | 2011-07-06 | 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
https://portal.mardi4nfdi.de/entity/Q2782498 | 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 |
https://portal.mardi4nfdi.de/entity/Q3475247 | 1990-01-01 | Paper |
MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS | 1990-01-01 | Paper |
Syntax and semantics of superintuitionistic logics | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4204133 | 1989-01-01 | Paper |
Syntax and semantics of modal logics containing S4 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4204132 | 1988-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/Q3787975 | 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 |