| Publication | Date of Publication | Type |
|---|
| On the limits of decision: the adjacent fragment of first-order logic | 2024-11-14 | Paper |
| Adding transitivity and counting to the fluted fragment | 2024-09-25 | Paper |
| Fragments of First-Order Logic | 2023-01-24 | Paper |
| The Fluted Fragment with Transitivity | 2022-07-21 | Paper |
| Adding Guarded Constructions to the Syllogistic | 2021-12-10 | Paper |
| The fluted fragment with transitive relations | 2021-10-29 | Paper |
| Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable | 2020-05-11 | Paper |
| Transitivity and equivalence in decidable fragments of first-order logic: a survey | 2020-01-14 | Paper |
| THE FLUTED FRAGMENT REVISITED | 2019-09-17 | Paper |
| Two-variable First-Order Logic with Counting in Forests | 2019-07-04 | Paper |
| Logics with counting and equivalence | 2018-04-23 | Paper |
| Equivalence closure in the two-variable guarded fragment | 2018-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4596781 | 2017-12-11 | Paper |
| Quine's Fluted Fragment is Non-Elementary | 2017-07-19 | Paper |
| Two-Variable First-Order Logic with Equivalence Closure | 2017-05-16 | Paper |
| The two‐variable fragment with counting and equivalence | 2016-01-07 | Paper |
| Topological Logics with Connectedness over Euclidean Spaces | 2015-09-17 | Paper |
| The Hamiltonian syllogistic | 2015-02-09 | Paper |
| Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces | 2014-10-27 | Paper |
| Two-Variable First-Order Logic with Equivalence Closure | 2014-09-18 | Paper |
| Functions definable by numerical set-expressions | 2013-08-27 | Paper |
| The syllogistic with unity | 2013-06-28 | Paper |
| Topology, connectedness, and modal logic | 2011-03-30 | Paper |
| The two-variable fragment with counting revisited | 2010-09-29 | Paper |
| Spatial logics with connectedness predicates | 2010-09-21 | Paper |
| On the computability of region-based Euclidean logics | 2010-09-03 | Paper |
| Functions definable by arithmetic circuits | 2010-07-28 | Paper |
| Complex algebras of arithmetic | 2010-03-10 | Paper |
| LOGICS FOR THE RELATIONAL SYLLOGISTIC | 2010-01-21 | Paper |
| A topological constraint language with component counting | 2009-11-30 | Paper |
| Conditionalization and total knowledge | 2009-11-11 | Paper |
| Data-complexity of the two-variable fragment with counting quantifiers | 2009-07-15 | Paper |
| No Syllogisms for the Numerical Syllogistic | 2009-06-03 | Paper |
| On the Computational Complexity of Spatial Logics with Connectedness Constraints | 2009-01-27 | Paper |
| On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics | 2008-05-08 | Paper |
| Temporal prepositions and their logic | 2007-10-23 | Paper |
| Complexity of the Guarded Two-variable Fragment with Counting Quantifiers | 2007-05-14 | Paper |
| More fragments of language. | 2007-02-15 | Paper |
| Complexity of the two-variable fragment with counting quantifiers | 2005-10-04 | Paper |
| Fragments of language | 2004-08-06 | Paper |
| A two-variable fragment of English | 2003-04-27 | Paper |
| Elementary polyhedral mereotopology | 2003-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539607 | 2002-07-10 | Paper |
| Empiricism and rationalism in region-based theories of space | 2001-07-23 | Paper |
