| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6153342 | 2024-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6061663 | 2023-12-08 | Paper |
| Algebra and Language: Reasons for (Dis)content | 2023-07-07 | Paper |
| A simple logic of concepts | 2023-06-13 | Paper |
| Generalization of final algebra semantics by relativization | 2023-04-12 | Paper |
| On Kripke, Vietoris and Hausdorff Polynomial Functors | 2023-03-20 | Paper |
| Corecursive algebras in nature | 2022-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5100006 | 2022-08-26 | Paper |
| Logics for Epistemic Actions: Completeness, Decidability, Expressivity | 2022-03-13 | Paper |
| EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS | 2022-01-26 | Paper |
| Presenting the Sierpinski Gasket in Various Categories of Metric Spaces | 2021-10-13 | Paper |
| An Initial Algebra Theorem Without Iteration | 2021-04-20 | Paper |
| On well-founded and recursive coalgebras | 2020-09-23 | Paper |
| Syllogistic Logic with Cardinality Comparisons | 2020-08-07 | Paper |
| SYLLOGISTIC LOGIC WITH CARDINALITY COMPARISONS, ON INFINITE SETS | 2020-03-25 | Paper |
| Syllogistic logic with “Most” | 2019-05-27 | Paper |
| Long-term values in Markov decision processes, (co)algebraically | 2018-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580219 | 2018-08-13 | Paper |
| Erratum | 2018-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599217 | 2017-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4588559 | 2017-10-27 | Paper |
| Automatic Sequences and Zip-Specifications | 2017-05-16 | Paper |
| The Logic of Public Announcements, Common Knowledge, and Private Suspicions | 2017-04-07 | Paper |
| Majority Digraphs | 2016-06-22 | Paper |
| Syllogistic Logic with “Most” | 2015-09-24 | Paper |
| On final coalgebras of power-set functors and saturated trees | 2015-08-03 | Paper |
| Three Etudes on Logical Dynamics and the Program of Natural Logic | 2015-05-11 | Paper |
| On finitary functors and their presentations | 2015-04-28 | Paper |
| Eigenvalues and Transduction of Morphic Sequences | 2014-10-14 | Paper |
| Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra | 2014-06-02 | Paper |
| Abstract GSOS Rules and a Modular Treatment of Recursive Definitions | 2013-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847819 | 2013-09-11 | Paper |
| Well-Pointed Coalgebras | 2013-09-06 | Paper |
| Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing | 2013-08-09 | Paper |
| The soundness of internalized polarity marking | 2012-12-04 | Paper |
| On Finitary Functors and Their Presentations | 2012-09-20 | Paper |
| Power-Set Functors and Saturated Trees. | 2012-09-18 | Paper |
| Syllogistic logic with comparative adjectives | 2012-07-31 | Paper |
| A Complete Logical System for the Equality of Recursive Terms for Sets | 2012-07-16 | Paper |
| Well-Pointed Coalgebras (Extended Abstract) | 2012-06-22 | Paper |
| A Note on Expressive Coalgebraic Logics for Finitary Set Functors | 2010-11-11 | Paper |
| Natural Logic and Semantics | 2010-10-12 | Paper |
| Logics for Two Fragments beyond the Syllogistic Boundary | 2010-09-03 | Paper |
| Intersecting Adjectives in Syllogistic Logic | 2010-08-31 | Paper |
| Syllogistic Logics with Verbs | 2010-08-26 | Paper |
| CIA Structures and the Semantics of Recursion | 2010-04-27 | Paper |
| Confusion of memory | 2010-04-19 | Paper |
| LOGICS FOR THE RELATIONAL SYLLOGISTIC | 2010-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396592 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3635984 | 2009-06-30 | Paper |
| Corrigendum to: ``The category theoretic solution of recursive program schemes [Theoret. Comput. Sci. 366 (2006) 3-59] | 2008-09-16 | Paper |
| Finite models constructed from canonical formulas | 2007-12-03 | Paper |
| Uniform Functors on Sets | 2007-09-07 | Paper |
| The category-theoretic solution of recursive program schemes | 2007-01-09 | Paper |
| Logics for epistemic programs | 2006-10-24 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Final coalgebras for functors on measurable spaces | 2006-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477950 | 2006-06-29 | Paper |
| Quantum logic as motivated by quantum computing | 2006-01-16 | Paper |
| The undecidability of iterated modal relativization | 2005-12-02 | Paper |
| Recursion and corecursion have the same equational logic | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2768448 | 2002-04-23 | Paper |
| Parametric corecursion | 2001-08-20 | Paper |
| The Johnson graphs satisfy a distance extension property | 2001-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268485 | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4261094 | 1999-09-21 | Paper |
| Coalgebraic logic | 1999-09-12 | Paper |
| The logic of recursive equations | 1999-04-27 | Paper |
| Modal correspondence for models | 1998-10-06 | Paper |
| On the Foundations of Corecursion | 1997-06-02 | Paper |
| Some formal properties of stratified feature grammars | 1997-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4717366 | 1996-12-01 | Paper |
| Topological reasoning and the logic of knowledge | 1996-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4866987 | 1996-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873764 | 1996-04-22 | Paper |
| Dynamic interpretations of constraint-based grammar formalisms | 1996-04-16 | Paper |
| Power set recursion | 1995-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273481 | 1994-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4292781 | 1994-05-18 | Paper |
| Modal logic and algebraic specifications | 1993-10-25 | Paper |
| Final algebras, cosemicomputable algebras and degrees of unsolvability | 1993-01-17 | Paper |
| Distanced graphs | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010365 | 1992-09-27 | Paper |
| Non-well-founded sets modeled as ideal fixed points | 1991-01-01 | Paper |
| Existence and nonexistence of universal graphs | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204456 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780425 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745829 | 1985-01-01 | Paper |
