| 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
Information Processing Letters | 2017-01-31 | Paper |
Containment for conditional tree patterns
Logical Methods in Computer Science | 2015-08-25 | Paper |
Complete axiomatizations for XPath fragments
Journal of Applied Logic | 2010-06-11 | Paper |
XPath and modal logics of finite DAG's
Lecture Notes in Computer Science | 2010-03-09 | Paper |
PDL for ordered trees
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Logical Foundations of XML and XQuery
Lecture Notes in Computer Science | 2009-10-28 | Paper |
| scientific article; zbMATH DE number 5605081 (Why is no real title available?) | 2009-09-19 | Paper |
Axiomatizing the logical core of XPath 2.0
Theory of Computing Systems | 2009-08-06 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Hybrid logics with Sahlqvist axioms
Logic Journal of the IGPL | 2005-10-18 | Paper |
The semijoin algebra and the guarded fragment
Journal of Logic, Language and Information | 2005-10-04 | Paper |
Database Theory - ICDT 2005
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Constructive interpolation in hybrid logic
Journal of Symbolic Logic | 2005-02-09 | Paper |
Constructive interpolation in hybrid logic
Journal of Symbolic Logic | 2005-02-09 | Paper |
| scientific article; zbMATH DE number 2088339 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2085243 (Why is no real title available?) | 2004-08-09 | Paper |
Repairing the interpolation theorem in quantified modal logic
Annals of Pure and Applied Logic | 2003-11-25 | Paper |
| scientific article; zbMATH DE number 1983242 (Why is no real title available?) | 2003-09-18 | Paper |
| scientific article; zbMATH DE number 1950252 (Why is no real title available?) | 2003-07-17 | Paper |
All proper normal extensions of S5-square have the polynomial size model property
Studia Logica | 2003-06-09 | Paper |
Amalgamation in finite dimensional cylindric algebras
Algebra Universalis | 2003-04-23 | Paper |
Computing with cylindric modal logics and arrow logics, lower bounds
Studia Logica | 2003-03-12 | Paper |
An elementary construction for a non-elementary procedure
Studia Logica | 2003-03-12 | Paper |
Remarks on Gregory's ``actually'' operator
Journal of Philosophical Logic | 2002-08-20 | Paper |
Relation algebras with binders
Journal of Logic and Computation | 2002-07-22 | Paper |
Interpolation and definability in guarded fragments
Studia Logica | 2002-07-08 | Paper |
Hybrid logics: Characterization, interpolation and complexity
The Journal of Symbolic Logic | 2002-04-30 | Paper |
| Labelled deduction for the guarded fragment | 2002-02-17 | Paper |
Products, or how to create modal logics of high complexity
Logic Journal of the IGPL | 2001-10-30 | Paper |
Failure of interpolation in combined modal logics
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| scientific article; zbMATH DE number 1612560 (Why is no real title available?) | 2001-07-01 | Paper |
The computational complexity of hybrid temporal logics
Logic Journal of the IGPL | 2001-05-02 | Paper |
Tolerance logic
Journal of Logic, Language and Information | 2001-01-01 | Paper |
Complexity of products of modal logics
Journal Of Logic And Computation | 2000-09-27 | Paper |
| scientific article; zbMATH DE number 1424043 (Why is no real title available?) | 2000-08-23 | Paper |
Relation algebras can tile
Information Sciences | 2000-07-05 | Paper |
Tableau calculus for local cubic modal logic and its implementation
Logic Journal of the IGPL | 2000-07-05 | Paper |
Undecidable relativizations of algebras of relations
Journal of Symbolic Logic | 2000-04-25 | Paper |
Decidability of cylindric set algebras of dimension two and first-order logic with two variables
Journal of Symbolic Logic | 2000-04-11 | Paper |
Undecidability of compass logic
Journal Of Logic And Computation | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1405456 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1303433 (Why is no real title available?) | 1999-07-19 | Paper |
| scientific article; zbMATH DE number 1215467 (Why is no real title available?) | 1999-06-27 | Paper |
| scientific article; zbMATH DE number 1303729 (Why is no real title available?) | 1999-06-17 | Paper |
Amalgamation in relation algebras
Journal of Symbolic Logic | 1999-06-07 | Paper |
Multi-dimensional modal logic
Applied Logic Series | 1998-02-25 | Paper |
| scientific article; zbMATH DE number 1047506 (Why is no real title available?) | 1997-11-05 | Paper |
| scientific article; zbMATH DE number 1047503 (Why is no real title available?) | 1997-08-11 | Paper |
Multi-dimensional semantics for modal logics
Notre Dame Journal of Formal Logic | 1997-06-15 | Paper |
Taming logic
Journal of Logic, Language and Information | 1996-10-08 | Paper |
