| Publication | Date of Publication | Type |
|---|
| Canonicity in power and modal logics of finite achronal width | 2024-11-14 | Paper |
| Canonicity in power and modal logics of finite achronal width | 2022-07-25 | Paper |
| Undecidability of Algebras of Binary Relations | 2021-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5149062 | 2021-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5141782 | 2020-12-18 | Paper |
| STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES | 2020-08-26 | Paper |
| On the variety generated by completions of representable relation algebras | 2020-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636043 | 2018-04-23 | Paper |
| The finite model property for logics with the tangle modality | 2018-04-04 | Paper |
| Tangled Closure Algebras | 2017-10-11 | Paper |
| Simple completeness proofs for some spatial logics of the real line | 2017-05-31 | Paper |
| Spatial logic of tangled closure operators and modal mu-calculus | 2017-03-16 | Paper |
| Connections between Relation Algebras and Cylindric Algebras | 2016-01-08 | Paper |
| On the Priorean temporal logic with `around now' over the real line | 2015-02-11 | Paper |
| Bare canonicity of representable cylindric and polyadic algebras | 2013-12-11 | Paper |
| Completions and complete representations | 2013-10-16 | Paper |
| A construction of cylindric and polyadic algebras from atomic relation algebras | 2013-01-30 | Paper |
| Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators | 2012-11-27 | Paper |
| Sahlqvist correspondence for modal mu-calculus | 2012-10-01 | Paper |
| Sahlqvist theorem for modal fixed point logic | 2012-05-14 | Paper |
| On canonicity and completions of weakly representable relation algebras | 2012-04-19 | Paper |
| Weak representations of relation algebras and relational bases | 2011-10-10 | Paper |
| Separation -- past, present, and future | 2011-07-06 | Paper |
| Monodic fragments of first-order temporal logics: 2000--2001 A.D. | 2011-05-06 | Paper |
| Axiomatizing hybrid logic using modal logic | 2011-03-22 | Paper |
| The bounded fragment and hybrid logic with polyadic modalities | 2010-07-23 | Paper |
| A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER | 2010-07-23 | Paper |
| Strongly representable atom structures of cylindric algebras | 2009-09-29 | Paper |
| The McKinsey-Lemmon logic is barely canonical | 2009-05-27 | Paper |
| The modal logic of affine planes is not finitely axiomatisable | 2009-03-23 | Paper |
| Commutativity of Quantifiers in Varying-Domain Kripke Models | 2009-02-05 | Paper |
| Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T | 2008-11-20 | Paper |
| Games in algebraic logic: axiomatisations and beyond | 2008-07-01 | Paper |
| Hybrid formulas and elementarily generated modal logics | 2007-08-01 | Paper |
| Complexity of monodic guarded fragments over linear and real time | 2005-12-29 | Paper |
| Canonical varieties with no canonical axiomatisation | 2005-07-26 | Paper |
| Erdős Graphs Resolve Fine's Canonicity Problem | 2005-05-24 | Paper |
| Axiomatizing complex algebras by games. | 2005-04-19 | Paper |
| All normal extensions of S5-squared are finitely axiomatizable | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4661993 | 2005-03-30 | Paper |
| Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures | 2005-02-09 | Paper |
| Provability with Finitely Many Variables | 2003-11-19 | Paper |
| Axiomatizability of reducts of algebras of relations | 2003-04-23 | Paper |
| Monodic packed fragment with equality is decidable | 2003-03-12 | Paper |
| Relation algebras from cylindric algebras. II | 2002-12-11 | Paper |
| Relation algebras from cylindric algebras. I | 2002-12-11 | Paper |
| Decidable fragments of first-order temporal logics | 2002-11-28 | Paper |
| Relation algebra reducts of cylindric algebras and an application to proof theory | 2002-10-29 | Paper |
| Relation algebras by games | 2002-10-15 | Paper |
| Loosely guarded fragment of first-order logic has the finite model property | 2002-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329275 | 2002-04-29 | Paper |
| Strongly representable atom structures of relation algebras | 2002-03-19 | Paper |
| The \(k\)-variable property is stronger than H-dimension \(k\) | 2001-11-25 | Paper |
| Representability is not decidable for finite relation algebras | 2001-02-19 | Paper |
| Relation algebras with \(n\)-dimensional relational bases | 2001-01-29 | Paper |
| Finite algebras of relations are representable on finite sets | 1999-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218015 | 1999-08-31 | Paper |
| Atom structures of cylindric algebras and relation algebras | 1998-11-01 | Paper |
| Step by step – Building representations in algebraic logic | 1997-12-22 | Paper |
| Complete representations in algebraic logic | 1997-12-17 | Paper |
| Axiomatising Various Classes of Relation and Cylindric Algebras | 1997-06-02 | Paper |
| On Gabbay's temporal fixed point operator | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835817 | 1995-04-24 | Paper |
| Finite \(H\)-dimension does not imply expressive completeness | 1994-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4289282 | 1994-04-28 | Paper |
| The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph | 1994-04-27 | Paper |
| A Construction of Many Uncountable Rings Using SFP Domains and Aronszajn Trees | 1994-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281254 | 1994-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142555 | 1994-01-09 | Paper |
| Automorphisms of Bounded Abelian Groups | 1992-06-28 | Paper |
| An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers | 1992-06-25 | Paper |
| Omega-categoricity, relative categoricity and coordinatisation | 1990-01-01 | Paper |
| Relational structures determined by their finite induced substructures | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3693518 | 1985-01-01 | Paper |
