| Publication | Date of Publication | Type |
|---|
| Modal automata: analysing modal fixpoint logics, one step at a time (invited talk) | 2026-06-09 | Paper |
| Interpolation for converse PDL | 2026-02-10 | Paper |
Proof systems for two-way modal -calculus
The Journal of Symbolic Logic | 2025-12-10 | Paper |
| Completeness for game logic | 2024-12-19 | Paper |
| Size measures and alphabetic equivalence in the -calculus | 2024-12-06 | Paper |
| Filtration and canonical completeness for continuous modal \(\mu\)-calculi | 2024-12-06 | Paper |
| On the size of disjunctive formulas in the \(\mu\)-calculus | 2024-12-06 | Paper |
| Proof systems for the modal \(\mu \)-calculus obtained by determinizing automata | 2024-05-17 | Paper |
| Succinct graph representations of -calculus formulas | 2024-04-10 | Paper |
COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
The Review of Symbolic Logic | 2024-04-04 | Paper |
Focus-style proofs for the two-way alternation-free \(\mu \)-calculus
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
| scientific article; zbMATH DE number 7649888 (Why is no real title available?) | 2023-02-03 | Paper |
Coalgebraic geometric logic
(available as arXiv preprint) | 2023-02-03 | Paper |
Coalgebraic Geometric Logic: Basic Theory
Logical Methods in Computer Science | 2023-01-09 | Paper |
Model theory of monadic predicate logic with the infinity quantifier
Archive for Mathematical Logic | 2022-06-14 | Paper |
| A focus system for the alternation-free \(\mu \)-calculus | 2022-05-25 | Paper |
The Power of the Weak
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
| Closure ordinals of the two-way modal \(\mu\)-calculus | 2020-03-04 | Paper |
A strict implication calculus for compact Hausdorff spaces
Annals of Pure and Applied Logic | 2019-10-07 | Paper |
Disjunctive bases: normal forms and model theory for modal logics
(available as arXiv preprint) | 2019-05-17 | Paper |
| Completeness for Game Logic | 2019-04-16 | Paper |
| scientific article; zbMATH DE number 7039436 (Why is no real title available?) | 2019-03-20 | Paper |
Completeness for \(\mu\)-calculi: a coalgebraic approach
Annals of Pure and Applied Logic | 2019-03-14 | Paper |
Model Theory of Monadic Predicate Logic with the Infinity Quantifier
(available as arXiv preprint) | 2018-09-10 | Paper |
| Disjunctive bases: normal forms for modal logics | 2018-08-13 | Paper |
Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
Theoretical Computer Science | 2018-05-17 | Paper |
Weak MSO: automata and expressiveness modulo bisimilarity
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Monadic second-order logic and bisimulation invariance for coalgebras
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| PDL inside the -calculus: a syntactic and an automata-theoretic characterization | 2018-04-23 | Paper |
Parity games and automata for game logic
(available as arXiv preprint) | 2018-04-12 | Paper |
| Parity games and automata for game logic | 2018-04-12 | Paper |
Completeness of flat coalgebraic fixpoint logics
ACM Transactions on Computational Logic | 2018-03-22 | Paper |
Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
(available as arXiv preprint) | 2018-02-20 | Paper |
Irreducible equivalence relations, Gleason spaces, and de Vries duality
Applied Categorical Structures | 2017-08-10 | Paper |
| Completeness for coalgebraic fixpoint logic | 2017-07-19 | Paper |
An expressive completeness theorem for coalgebraic modal -calculi
(available as arXiv preprint) | 2017-07-13 | Paper |
Uniform interpolation for coalgebraic fixpoint logic
(available as arXiv preprint) | 2017-07-11 | Paper |
A characterization theorem for the alternation-free fragment of the modal -calculus
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Modal logic and the Vietoris functor
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
Expressiveness modulo bisimilarity: a coalgebraic perspective
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Lax extensions of coalgebra functors and their logic
Journal of Computer and System Sciences | 2015-04-28 | Paper |
| scientific article; zbMATH DE number 6389555 (Why is no real title available?) | 2015-01-22 | Paper |
Proof systems for Moss' coalgebraic logic
Theoretical Computer Science | 2014-08-27 | Paper |
| scientific article; zbMATH DE number 6215727 (Why is no real title available?) | 2013-10-16 | Paper |
| Automata and fixed point logics for coalgebras | 2013-09-11 | Paper |
| Stone coalgebras | 2013-08-23 | Paper |
Generalised powerlocales via relation lifting
Mathematical Structures in Computer Science | 2013-03-14 | Paper |
Foreword to the special issue dedicated to the memory of Leo Esakia
Studia Logica | 2012-10-01 | Paper |
Stream Automata Are Coalgebras
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
Lax Extensions of Coalgebra Functors
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
Completeness for the coalgebraic cover modality
Logical Methods in Computer Science | 2012-08-15 | Paper |
| Coalgebraic Lindström theorems | 2012-08-05 | Paper |
| Uniform interpolation for monotone modal logic | 2012-08-05 | Paper |
Complementation of coalgebra automata
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Completeness for flat modal fixpoint logics
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
Model constructions for Moss' coalgebraic logic
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
On monotone modalities and adjointness
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
| Propositional logics for three | 2011-05-31 | Paper |
| Completeness of the finitary Moss logic | 2011-03-30 | Paper |
| scientific article; zbMATH DE number 5872402 (Why is no real title available?) | 2011-03-30 | Paper |
Editorial. Coalgebra and logic: a brief overview
Journal Of Logic And Computation | 2010-11-11 | Paper |
Vietoris bisimulations
Journal Of Logic And Computation | 2010-11-11 | Paper |
Logics and algebras for multiple players
The Review of Symbolic Logic | 2010-10-14 | Paper |
Automata for coalgebras: an approach using predicate liftings
Automata, Languages and Programming | 2010-09-07 | Paper |
Flat coalgebraic fixed point logics
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Coalgebraic Automata Theory: Basic Results
Logical Methods in Computer Science | 2009-04-29 | Paper |
Nabla Algebras and Chu Spaces
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Completeness for Flat Modal Fixpoint Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
MacNeille completions of lattice expansions
Algebra Universalis | 2008-03-05 | Paper |
Automata and fixed point logic: a coalgebraic perspective
Information and Computation | 2006-06-30 | Paper |
MacNeille completions and canonical extensions
Transactions of the American Mathematical Society | 2005-11-09 | Paper |
Canonical varieties with no canonical axiomatisation
Transactions of the American Mathematical Society | 2005-07-26 | Paper |
Erdős Graphs Resolve Fine's Canonicity Problem
The Bulletin of Symbolic Logic | 2005-05-24 | Paper |
Axiomatizing complex algebras by games.
Algebra Universalis | 2005-04-19 | Paper |
| scientific article; zbMATH DE number 2149469 (Why is no real title available?) | 2005-03-30 | Paper |
Simulating polyadic modal logics by monadic ones
Journal of Symbolic Logic | 2005-02-09 | Paper |
Atomless varieties
Journal of Symbolic Logic | 2005-02-09 | Paper |
A Sahlqvist theorem for distributive modal logic
Annals of Pure and Applied Logic | 2005-01-31 | Paper |
Finite model theory and its applications.
Texts in Theoretical Computer Science. An EATCS Series | 2005-01-12 | Paper |
Stone coalgebras
Theoretical Computer Science | 2005-01-11 | Paper |
A dual characterization of subdirectly irreducible BAOs
Studia Logica | 2004-08-16 | Paper |
Representation of game algebras
Studia Logica | 2004-03-15 | Paper |
| scientific article; zbMATH DE number 1735886 (Why is no real title available?) | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1749195 (Why is no real title available?) | 2002-06-04 | Paper |
Undecidable theories of Lyndon algebras
The Journal of Symbolic Logic | 2002-03-12 | Paper |
Modal logic
Cambridge Tracts in Theoretical Computer Science | 2001-09-18 | Paper |
The preservation of Sahlqvist equations in completions of Boolean algebras with operators
Algebra Universalis | 2001-06-10 | Paper |
| scientific article; zbMATH DE number 1536553 (Why is no real title available?) | 2000-11-28 | Paper |
Q-algebras
Algebra Universalis | 2000-02-27 | Paper |
Points, lines and diamonds: a two-sorted modal logic for projective planes
Journal Of Logic And Computation | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1303433 (Why is no real title available?) | 1999-07-19 | Paper |
Rectangular games
Journal of Symbolic Logic | 1999-06-29 | Paper |
Atom structures and Sahlqvist equations
Algebra Universalis | 1998-11-23 | Paper |
| scientific article; zbMATH DE number 1215476 (Why is no real title available?) | 1998-10-26 | Paper |
Multi-dimensional modal logic
Applied Logic Series | 1998-02-25 | Paper |
| scientific article; zbMATH DE number 1086639 (Why is no real title available?) | 1997-12-14 | Paper |
| scientific article; zbMATH DE number 1047502 (Why is no real title available?) | 1997-12-07 | Paper |
Tree models and (labeled) categorial grammar
Journal of Logic, Language and Information | 1997-02-09 | Paper |
| scientific article; zbMATH DE number 847946 (Why is no real title available?) | 1996-09-03 | Paper |
Dynamic squares
Journal of Philosophical Logic | 1996-07-24 | Paper |
| scientific article; zbMATH DE number 868094 (Why is no real title available?) | 1996-04-21 | Paper |
