| Publication | Date of Publication | Type |
|---|
| Modal logic of planar polygons | 2018-07-08 | Paper |
| Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons | 2017-01-31 | Paper |
| Containment for Conditional Tree Patterns | 2015-08-25 | Paper |
| Complete axiomatizations for XPath fragments | 2010-06-11 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| PDL for ordered trees | 2009-11-30 | Paper |
| Logical Foundations of XML and XQuery | 2009-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396578 | 2009-09-19 | Paper |
| Axiomatizing the logical core of XPath 2.0 | 2009-08-06 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| Hybrid logics with Sahlqvist axioms | 2005-10-18 | Paper |
| The semijoin algebra and the guarded fragment | 2005-10-04 | Paper |
| Database Theory - ICDT 2005 | 2005-09-13 | Paper |
| Constructive interpolation in hybrid logic | 2005-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739533 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736477 | 2004-08-09 | Paper |
| Repairing the interpolation theorem in quantified modal logic | 2003-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427189 | 2003-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412850 | 2003-07-17 | Paper |
| All proper normal extensions of S5-square have the polynomial size model property | 2003-06-09 | Paper |
| Amalgamation in finite dimensional cylindric algebras | 2003-04-23 | Paper |
| Computing with cylindric modal logics and arrow logics, lower bounds | 2003-03-12 | Paper |
| An elementary construction for a non-elementary procedure | 2003-03-12 | Paper |
| Remarks on Gregory's ``actually operator | 2002-08-20 | Paper |
| Relation Algebra with Binders | 2002-07-22 | Paper |
| Interpolation and definability in guarded fragments | 2002-07-08 | Paper |
| Hybrid logics: characterization, interpolation and complexity | 2002-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2701985 | 2002-02-17 | Paper |
| Products, or how to create modal logics of high complexity | 2001-10-30 | Paper |
| Failure of interpolation in combined modal logics | 2001-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721205 | 2001-07-01 | Paper |
| The computational complexity of hybrid temporal logics | 2001-05-02 | Paper |
| Tolerance logic | 2001-01-01 | Paper |
| Complexity of products of modal logics | 2000-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945233 | 2000-08-23 | Paper |
| Relation algebras can tile | 2000-07-05 | Paper |
| Tableau calculus for local cubic modal logic and its implementation | 2000-07-05 | Paper |
| Undecidable relativizations of algebras of relations | 2000-04-25 | Paper |
| Decidability of cylindric set algebras of dimension two and first-order logic with two variables | 2000-04-11 | Paper |
| Undecidability of compass logic | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938431 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250042 | 1999-07-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215599 | 1999-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250364 | 1999-06-17 | Paper |
| Amalgamation in relation algebras | 1999-06-07 | Paper |
| Multi-dimensional modal logic | 1998-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349283 | 1997-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349280 | 1997-08-11 | Paper |
| Multi-dimensional semantics for modal logics | 1997-06-15 | Paper |
| Taming logic | 1996-10-08 | Paper |
