| Publication | Date of Publication | Type |
|---|
Algebra of self-replication
| 2026-04-02 | Paper |
Fractals from regular behaviours
| 2024-11-26 | Paper |
On Kripke, Vietoris and Hausdorff polynomial functors ((co)algebraic pearls)
| 2024-11-26 | Paper |
Presenting the Sierpinski gasket in various categories of metric spaces
Applied Categorical Structures | 2024-09-10 | Paper |
Initial algebras and terminal coalgebras. The theory of fixed points of functors (to appear)
Cambridge Tracts in Theoretical Computer Science | 2024-05-29 | Paper |
The Sierpinski carpet as a final coalgebra
| 2024-02-13 | Paper |
scientific article; zbMATH DE number 7774231 (Why is no real title available?)
| 2023-12-08 | Paper |
Algebra and Language: Reasons for (Dis)content
Algebraic Structures in Natural Language | 2023-07-07 | Paper |
A simple logic of concepts
Journal of Philosophical Logic | 2023-06-13 | Paper |
Generalization of final algebra semantics by relativization
Lecture Notes in Computer Science | 2023-04-12 | Paper |
On Kripke, Vietoris and Hausdorff Polynomial Functors
| 2023-03-20 | Paper |
Corecursive algebras in nature
| 2022-12-07 | Paper |
A completeness result for inequational reasoning in a full higher-order setting
| 2022-08-26 | Paper |
Logics for Epistemic Actions: Completeness, Decidability, Expressivity
| 2022-03-13 | Paper |
Exploring the landscape of relational syllogistic logics
The Review of Symbolic Logic | 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
Outstanding Contributions to Logic | 2020-08-07 | Paper |
Syllogistic logic with cardinality comparisons, on infinite sets
The Review of Symbolic Logic | 2020-03-25 | Paper |
Syllogistic logic with ``most
Mathematical Structures in Computer Science | 2019-05-27 | Paper |
Long-term values in Markov decision processes, (co)algebraically
| 2018-10-23 | Paper |
Precongruences and parametrized coinduction for logics for behavioral equivalence
| 2018-08-13 | Paper |
Erratum
Journal of Symbolic Logic | 2018-01-19 | Paper |
A monotonicity calculus and its completeness
| 2017-12-18 | Paper |
Mathematical structures in language
| 2017-10-27 | Paper |
Automatic sequences and zip-specifications
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
The logic of public announcements, common knowledge, and private suspicions
Readings in Formal Epistemology | 2017-04-07 | Paper |
Majority digraphs
Proceedings of the American Mathematical Society | 2016-06-22 | Paper |
Syllogistic logic with ``most
Logic, Language, Information, and Computation | 2015-09-24 | Paper |
On final coalgebras of power-set functors and saturated trees
Applied Categorical Structures | 2015-08-03 | Paper |
Three etudes on logical dynamics and the program of natural logic
Outstanding Contributions to Logic | 2015-05-11 | Paper |
On finitary functors and their presentations
Journal of Computer and System Sciences | 2015-04-28 | Paper |
Eigenvalues and transduction of morphic sequences
Developments in Language Theory | 2014-10-14 | Paper |
Fractal sets as final coalgebras obtained by completing an initial algebra
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Abstract GSOS rules and a modular treatment of recursive definitions
Logical Methods in Computer Science | 2013-10-01 | Paper |
Harsanyi type spaces and final coalgebras constructed from satisfied theories
| 2013-09-11 | Paper |
Well-pointed coalgebras
Logical Methods in Computer Science | 2013-09-06 | Paper |
Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing
Journal of Philosophical Logic | 2013-08-09 | Paper |
The soundness of internalized polarity marking
Studia Logica | 2012-12-04 | Paper |
On Finitary Functors and Their Presentations
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
Power-set functors and saturated trees
| 2012-09-18 | Paper |
Syllogistic logic with comparative adjectives
Journal of Logic, Language and Information | 2012-07-31 | Paper |
A complete logical system for the equality of recursive terms for sets
Logic and Program Semantics | 2012-07-16 | Paper |
Well-pointed coalgebras (extended abstract)
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
A note on expressive coalgebraic logics for finitary set functors
Journal Of Logic And Computation | 2010-11-11 | Paper |
Natural Logic and Semantics
Logic, Language and Meaning | 2010-10-12 | Paper |
Logics for two fragments beyond the syllogistic boundary
Fields of Logic and Computation | 2010-09-03 | Paper |
Intersecting adjectives in syllogistic logic
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Syllogistic logics with verbs
Journal Of Logic And Computation | 2010-08-26 | Paper |
CIA structures and the semantics of recursion
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Confusion of memory
Information Processing Letters | 2010-04-19 | Paper |
LOGICS FOR THE RELATIONAL SYLLOGISTIC
The Review of Symbolic Logic | 2010-01-21 | Paper |
scientific article; zbMATH DE number 5605095 (Why is no real title available?)
| 2009-09-19 | Paper |
scientific article; zbMATH DE number 5572668 (Why is no real title available?)
| 2009-06-30 | Paper |
Corrigendum to: ``The category theoretic solution of recursive program schemes [Theoret. Comput. Sci. 366 (2006) 3-59]
Theoretical Computer Science | 2008-09-16 | Paper |
Finite models constructed from canonical formulas
Journal of Philosophical Logic | 2007-12-03 | Paper |
Uniform Functors on Sets
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
The category-theoretic solution of recursive program schemes
Theoretical Computer Science | 2007-01-09 | Paper |
Logics for epistemic programs
Synthese | 2006-10-24 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Final coalgebras for functors on measurable spaces
Information and Computation | 2006-06-30 | Paper |
scientific article; zbMATH DE number 5037203 (Why is no real title available?)
| 2006-06-29 | Paper |
Quantum logic as motivated by quantum computing
Journal of Symbolic Logic | 2006-01-16 | Paper |
The undecidability of iterated modal relativization
Studia Logica | 2005-12-02 | Paper |
Recursion and corecursion have the same equational logic
Theoretical Computer Science | 2003-07-29 | Paper |
Simple equational specifications of rational arithmetic
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2002-04-23 | Paper |
Parametric corecursion
Theoretical Computer Science | 2001-08-20 | Paper |
The Johnson graphs satisfy a distance extension property
Combinatorica | 2001-04-01 | Paper |
scientific article; zbMATH DE number 1354170 (Why is no real title available?)
| 1999-10-28 | Paper |
scientific article; zbMATH DE number 1330451 (Why is no real title available?)
| 1999-09-21 | Paper |
Coalgebraic logic
Annals of Pure and Applied Logic | 1999-09-12 | Paper |
The logic of recursive equations
Journal of Symbolic Logic | 1999-04-27 | Paper |
Modal correspondence for models
Journal of Philosophical Logic | 1998-10-06 | Paper |
On the Foundations of Corecursion
Logic Journal of the IGPL | 1997-06-02 | Paper |
Some formal properties of stratified feature grammars
Annals of Mathematics and Artificial Intelligence | 1997-05-12 | Paper |
scientific article; zbMATH DE number 952378 (Why is no real title available?)
| 1996-12-01 | Paper |
Topological reasoning and the logic of knowledge
Annals of Pure and Applied Logic | 1996-10-30 | Paper |
scientific article; zbMATH DE number 847941 (Why is no real title available?)
| 1996-07-17 | Paper |
scientific article; zbMATH DE number 867652 (Why is no real title available?)
| 1996-04-22 | Paper |
Dynamic interpretations of constraint-based grammar formalisms
Journal of Logic, Language and Information | 1996-04-16 | Paper |
Power set recursion
Annals of Pure and Applied Logic | 1995-03-22 | Paper |
scientific article; zbMATH DE number 475240 (Why is no real title available?)
| 1994-09-20 | Paper |
scientific article; zbMATH DE number 569753 (Why is no real title available?)
| 1994-05-18 | Paper |
Modal logic and algebraic specifications
Theoretical Computer Science | 1993-10-25 | Paper |
Final algebras, cosemicomputable algebras and degrees of unsolvability
Theoretical Computer Science | 1993-01-17 | Paper |
scientific article; zbMATH DE number 65754 (Why is no real title available?)
| 1992-09-27 | Paper |
Distanced graphs
Discrete Mathematics | 1992-09-27 | Paper |
Non-well-founded sets modeled as ideal fixed points
Information and Computation | 1991-01-01 | Paper |
Existence and nonexistence of universal graphs
Fundamenta Mathematicae | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4181325 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4043231 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3981154 (Why is no real title available?)
| 1985-01-01 | Paper |
Algebra of Self-Replication
| N/A | Paper |
