| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7650835 (Why is no real title available?) | 2023-02-07 | Paper |
Undecidability results on two-variable logics
Lecture Notes in Computer Science | 2022-11-09 | Paper |
| Finite approximation of free groups with an application to the Henckell--Rhodes problem | 2022-08-05 | Paper |
| scientific article; zbMATH DE number 7561479 (Why is no real title available?) | 2022-07-21 | Paper |
A first-order framework for inquisitive modal logic
The Review of Symbolic Logic | 2022-05-25 | Paper |
| Bisimulation in inquisitive modal logic | 2021-12-14 | Paper |
Bisimulation in inquisitive modal logic
(available as arXiv preprint) | 2021-12-14 | Paper |
INQUISITIVE BISIMULATION
Journal of Symbolic Logic | 2021-07-12 | Paper |
| Common knowledge and multi-scale locality analysis in Cayley structures | 2021-01-19 | Paper |
| Graded modal logic and counting bisimulation | 2019-09-30 | Paper |
| Cayley structures and common knowledge | 2019-09-25 | Paper |
Inquisitive bisimulation
(available as arXiv preprint) | 2018-03-09 | Paper |
| Amalgamation and Symmetry: From Local to Global Consistency in The Finite | 2017-08-31 | Paper |
Groupoids, hypergraphs, and symmetries in finite models
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Back and forth between guarded and modal logics
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
PEBBLE GAMES AND LINEAR EQUATIONS
Journal of Symbolic Logic | 2015-11-09 | Paper |
PEBBLE GAMES AND LINEAR EQUATIONS
Journal of Symbolic Logic | 2015-11-09 | Paper |
Expressive completeness through logically tractable models
Annals of Pure and Applied Logic | 2015-08-27 | Paper |
The freedoms of (guarded) bisimulation
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Bisimulation and coverings for graphs and hypergraphs
Logic and Its Applications | 2015-01-06 | Paper |
Decidability results for the boundedness problem
Logical Methods in Computer Science | 2014-09-05 | Paper |
Querying the Guarded Fragment
Logical Methods in Computer Science | 2014-05-22 | Paper |
Highly acyclic groups, hypergraph covers, and the guarded fragment
Journal of the ACM | 2014-02-17 | Paper |
| Pebble games and linear equations | 2012-11-22 | Paper |
Small substructures and decidability issues for first-order logic with two variables
The Journal of Symbolic Logic | 2012-09-19 | Paper |
| Model theoretic methods for fragments of FO and special classes of (finite) structures | 2011-10-05 | Paper |
| scientific article; zbMATH DE number 5872415 (Why is no real title available?) | 2011-03-30 | Paper |
Modal characterisation theorems over special classes of frames
Annals of Pure and Applied Logic | 2009-10-09 | Paper |
Boundedness of Monadic Second-Order Formulae over Finite Words
Automata, Languages and Programming | 2009-07-14 | Paper |
Boundedness of Monadic FO over Acyclic Structures
Automata, Languages and Programming | 2007-11-28 | Paper |
| Bisimulation invariance and finite models | 2006-10-17 | Paper |
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
Modal and guarded characterisation theorems over finite transition systems
Annals of Pure and Applied Logic | 2004-11-18 | Paper |
Adding for-loops to first-order logic
Information and Computation | 2003-01-14 | Paper |
Two variable first-order logic over ordered domains
The Journal of Symbolic Logic | 2002-07-25 | Paper |
An interpolation theorem
The Bulletin of Symbolic Logic | 2001-07-26 | Paper |
Epsilon-logic is more expressive than first-order logic over finite structures
The Journal of Symbolic Logic | 2001-04-24 | Paper |
| scientific article; zbMATH DE number 1405456 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1392279 (Why is no real title available?) | 2000-01-24 | Paper |
On logics with two variables
Theoretical Computer Science | 2000-01-12 | Paper |
Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus
Theoretical Computer Science | 2000-01-12 | Paper |
Undecidability results on two-variable logics
Archive for Mathematical Logic | 1999-12-13 | Paper |
Bounded variable logics: Two, three, and more
Archive for Mathematical Logic | 1999-10-05 | Paper |
| scientific article; zbMATH DE number 1304338 (Why is no real title available?) | 1999-06-17 | Paper |
| scientific article; zbMATH DE number 1114351 (Why is no real title available?) | 1998-07-08 | Paper |
| scientific article; zbMATH DE number 1086678 (Why is no real title available?) | 1997-11-13 | Paper |
Canonization for two variables and puzzles on the square
Annals of Pure and Applied Logic | 1997-09-10 | Paper |
A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\)
Information Processing Letters | 1997-02-28 | Paper |
First-order queries on databases embedded in an infinite structure
Information Processing Letters | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 979011 (Why is no real title available?) | 1997-02-18 | Paper |
The expressive power of fixed-point logic with counting
Journal of Symbolic Logic | 1997-01-13 | Paper |
| scientific article; zbMATH DE number 515737 (Why is no real title available?) | 1994-08-07 | Paper |
EM constructions for a class of generalized quantifiers
Archive for Mathematical Logic | 1993-03-01 | Paper |
Automorphism properties of stationary logic
Journal of Symbolic Logic | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 48549 (Why is no real title available?) | 1992-09-17 | Paper |
A reduction scheme for phase spaces with almost Kähler symmetry. Regularity results for momentum level sets
Journal of Geometry and Physics | 1987-01-01 | Paper |
WITHDRAWN: On Groupoids and Hypergraphs
(available as arXiv preprint) | N/A | Paper |
WITHDRAWN: Finite Groupoids, Finite Coverings and Symmetries in Finite Structures
(available as arXiv preprint) | N/A | Paper |
Acyclicity in finite groups and groupoids
(available as arXiv preprint) | N/A | Paper |
On the expressive power of inquisitive epistemic logic
(available as arXiv preprint) | N/A | Paper |
