| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6124964 | 2024-04-10 | Paper |
| COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND | 2024-04-04 | Paper |
| Focus-style proofs for the two-way alternation-free \(\mu \)-calculus | 2024-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875345 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875347 | 2023-02-03 | Paper |
| Coalgebraic Geometric Logic: Basic Theory | 2023-01-09 | Paper |
| Model theory of monadic predicate logic with the infinity quantifier | 2022-06-14 | Paper |
| A focus system for the alternation-free \(\mu \)-calculus | 2022-05-25 | Paper |
| The Power of the Weak | 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 | 2019-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5376645 | 2019-05-17 | Paper |
| Completeness for Game Logic | 2019-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3122182 | 2019-03-20 | Paper |
| Completeness for \(\mu\)-calculi: a coalgebraic approach | 2019-03-14 | Paper |
| Model Theory of Monadic Predicate Logic with the Infinity Quantifier | 2018-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580206 | 2018-08-13 | Paper |
| Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics | 2018-05-17 | Paper |
| Weak MSO | 2018-04-23 | Paper |
| Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636286 | 2018-04-23 | Paper |
| Parity games and automata for game logic | 2018-04-12 | Paper |
| Flat Coalgebraic Fixed Point Logics | 2018-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4603451 | 2018-02-20 | Paper |
| Irreducible equivalence relations, Gleason spaces, and de Vries duality | 2017-08-10 | Paper |
| Completeness for coalgebraic fixpoint logic | 2017-07-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278080 | 2017-07-13 | Paper |
| Uniform Interpolation for Coalgebraic Fixpoint Logic | 2017-07-11 | Paper |
| A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus | 2017-07-03 | Paper |
| Modal Logic and the Vietoris Functor | 2015-06-19 | Paper |
| Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective | 2015-05-11 | Paper |
| Lax extensions of coalgebra functors and their logic | 2015-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939525 | 2015-01-22 | Paper |
| Proof systems for Moss' coalgebraic logic | 2014-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853717 | 2013-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847823 | 2013-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843727 | 2013-08-23 | Paper |
| Generalised powerlocales via relation lifting | 2013-03-14 | Paper |
| Foreword to the special issue dedicated to the memory of Leo Esakia | 2012-10-01 | Paper |
| Stream Automata Are Coalgebras | 2012-09-20 | Paper |
| Lax Extensions of Coalgebra Functors | 2012-09-20 | Paper |
| Completeness for the coalgebraic cover modality | 2012-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904060 | 2012-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904063 | 2012-08-05 | Paper |
| Complementation of Coalgebra Automata | 2012-06-01 | Paper |
| Completeness for flat modal fixpoint logics | 2011-09-12 | Paper |
| Model Constructions for Moss’ Coalgebraic Logic | 2011-09-02 | Paper |
| On monotone modalities and adjointness | 2011-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003843 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3085167 | 2011-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086937 | 2011-03-30 | Paper |
| Coalgebra and Logic: A Brief Overview | 2010-11-11 | Paper |
| Vietoris Bisimulations | 2010-11-11 | Paper |
| LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS | 2010-10-14 | Paper |
| Automata for Coalgebras: An Approach Using Predicate Liftings | 2010-09-07 | Paper |
| Flat Coalgebraic Fixed Point Logics | 2010-08-31 | Paper |
| Coalgebraic Automata Theory: Basic Results | 2009-04-29 | Paper |
| Nabla Algebras and Chu Spaces | 2009-03-10 | Paper |
| Completeness for Flat Modal Fixpoint Logics | 2008-05-15 | Paper |
| MacNeille completions of lattice expansions | 2008-03-05 | Paper |
| Automata and fixed point logic: a coalgebraic perspective | 2006-06-30 | Paper |
| MacNeille completions and canonical extensions | 2005-11-09 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4661993 | 2005-03-30 | Paper |
| Simulating polyadic modal logics by monadic ones | 2005-02-09 | Paper |
| Atomless varieties | 2005-02-09 | Paper |
| A Sahlqvist theorem for distributive modal logic | 2005-01-31 | Paper |
| Finite model theory and its applications. | 2005-01-12 | Paper |
| Stone coalgebras | 2005-01-11 | Paper |
| A dual characterization of subdirectly irreducible BAOs | 2004-08-16 | Paper |
| Representation of game algebras | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329247 | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532196 | 2002-06-04 | Paper |
| Undecidable theories of Lyndon algebras | 2002-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2744124 | 2001-09-18 | Paper |
| The preservation of Sahlqvist equations in completions of Boolean algebras with operators | 2001-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518421 | 2000-11-28 | Paper |
| \(Q\)-algebras | 2000-02-27 | Paper |
| Points, lines and diamonds: a two-sorted modal logic for projective planes | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250042 | 1999-07-19 | Paper |
| Rectangular games | 1999-06-29 | Paper |
| Atom structures and Sahlqvist equations | 1998-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215609 | 1998-10-26 | Paper |
| Multi-dimensional modal logic | 1998-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362889 | 1997-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349279 | 1997-12-07 | Paper |
| Tree models and (labeled) categorial grammar | 1997-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4866992 | 1996-09-03 | Paper |
| Dynamic squares | 1996-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873977 | 1996-04-21 | Paper |
| Cylindric modal logic | 1995-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4833779 | 1995-05-23 | Paper |
| A Modal Logic for Quantification and Substitution | 1995-04-20 | Paper |
| Meeting strength in substructural logics | 1995-02-22 | Paper |
| Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras | 1995-02-22 | Paper |
| Derivation rules as anti-axioms in modal logic | 1994-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011738 | 1992-09-27 | Paper |
| A note on the tense logic of dominoes | 1992-08-03 | Paper |
| A Modal Logic for Chopping Intervals | 1992-06-27 | Paper |
| Expressiveness and completeness of an interval tense logic | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735171 | 1989-01-01 | Paper |
