| Publication | Date of Publication | Type |
|---|
Many-valued coalgebraic logic: from Boolean algebras to primal varieties
| 2024-11-26 | Paper |
Stone duality for relations
| 2024-10-01 | Paper |
Many-valued coalgebraic logic over semi-primal varieties
Logical Methods in Computer Science | 2024-09-04 | Paper |
New perspectives on semi-primal varieties
Journal of Pure and Applied Algebra | 2024-01-08 | Paper |
Completeness of Nominal PROPs
Logical Methods in Computer Science | 2023-03-22 | Paper |
scientific article; zbMATH DE number 7649901 (Why is no real title available?)
| 2023-02-03 | Paper |
scientific article; zbMATH DE number 7585719 (Why is no real title available?)
| 2022-09-15 | Paper |
scientific article; zbMATH DE number 7523908 (Why is no real title available?)
| 2022-05-09 | Paper |
An equational approach to enriched distributivity
| 2021-12-25 | Paper |
First order logic properly displayed
| 2021-05-14 | Paper |
Logic-Induced Bisimulations
| 2020-08-20 | Paper |
Stone Duality for Relations
| 2019-12-18 | Paper |
Extending set functors to generalised metric spaces
| 2019-02-25 | Paper |
Software tool support for modular reasoning in modal logics of actions
| 2018-10-04 | Paper |
scientific article; zbMATH DE number 6917170 (Why is no real title available?)
| 2018-08-13 | Paper |
An institutional approach to positive coalgebraic logic
Journal Of Logic And Computation | 2018-02-13 | Paper |
Quasivarieties and varieties of ordered algebras: regularity and exactness
Mathematical Structures in Computer Science | 2017-09-27 | Paper |
Extensions of functors from Set to \({\mathcal V}\)-cat
| 2017-07-11 | Paper |
Approximation of nested fixpoints -- a coalgebraic view of parametric dataypes
| 2017-07-11 | Paper |
A proof-theoretic semantic analysis of dynamic epistemic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
Multi-type display calculus for dynamic epistemic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
Multi-type display calculus for propositional dynamic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
Multi-type Sequent Calculi
| 2016-09-17 | Paper |
On the logic of generalised metric spaces
Coalgebraic Methods in Computer Science | 2016-07-15 | Paper |
Relation lifting, a survey
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
Equational coalgebraic logic
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Positive fragments of coalgebraic logics
Logical Methods in Computer Science | 2015-10-29 | Paper |
Presenting distributive laws
Logical Methods in Computer Science | 2015-08-25 | Paper |
Simplified coalgebraic trace equivalence
Software, Services, and Systems | 2015-06-22 | Paper |
Expressiveness of positive coalgebraic logic
| 2014-06-11 | Paper |
Anomalous magnetic moment with heavy virtual leptons
Nuclear Physics B | 2014-03-27 | Paper |
Functorial coalgebraic logic: the case of many-sorted varieties
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Nominal coalgebraic data types with applications to lambda calculus
Logical Methods in Computer Science | 2014-01-08 | Paper |
Epistemic updates on algebras
Logical Methods in Computer Science | 2014-01-08 | Paper |
Dynamic epistemic logic displayed
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Relation lifting, with an application to the many-valued cover modality
Logical Methods in Computer Science | 2013-10-29 | Paper |
Positive fragments of coalgebraic logics
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Presenting distributive laws
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Algebraic semantics for coalgebraic logics
| 2013-09-11 | Paper |
Coalgebras and modal expansions of logics
| 2013-09-11 | Paper |
Stone coalgebras
| 2013-08-23 | Paper |
Modal predicates and coequations
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Definability, canonical models, compactness for finitary coalgebraic modal logic
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Enriched logical connections
Applied Categorical Structures | 2013-08-01 | Paper |
Modal rules are co-implications
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Families of symmetries as efficient models of resource binding
Electronic Notes in Theoretical Computer Science | 2012-10-02 | Paper |
On coalgebras over algebras
Electronic Notes in Theoretical Computer Science | 2012-10-02 | Paper |
Strongly complete logics for coalgebras
Logical Methods in Computer Science | 2012-09-25 | Paper |
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions
Lecture Notes in Computer Science | 2012-09-21 | Paper |
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
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 |
On nominal regular languages with binders
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Modalities in the Stone age: a comparison of coalgebraic logics
Theoretical Computer Science | 2012-05-30 | Paper |
On coalgebras over algebras
Theoretical Computer Science | 2011-09-22 | Paper |
Relation liftings on preorders and posets
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Finitary Functors: From Set to Preord and Poset
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Equational presentations of functors and monads
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
Completeness of the finitary Moss logic
| 2011-03-30 | Paper |
Presenting functors on many-sorted varieties and applications
Information and Computation | 2011-01-14 | Paper |
Editorial. Coalgebra and logic: a brief overview
Journal Of Logic And Computation | 2010-11-11 | Paper |
Bitopological duality for distributive lattices and Heyting algebras
Mathematical Structures in Computer Science | 2010-06-02 | Paper |
On universal algebra over nominal sets
Mathematical Structures in Computer Science | 2010-05-17 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2010-04-20 | Paper |
The Goldblatt-Thomason Theorem for Coalgebras
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Higher Dimensional Trees, Algebraically
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Free Modal Algebras: A Coalgebraic Perspective
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Coalgebraic representations of distributive lattices with operators
Topology and its Applications | 2007-03-08 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Weak factorizations, fractions and homotopies
Applied Categorical Structures | 2005-08-05 | Paper |
Coalgebraic modal logic of finite rank
Mathematical Structures in Computer Science | 2005-08-03 | Paper |
Operations and equations for coalgebras
Mathematical Structures in Computer Science | 2005-03-14 | Paper |
Stone coalgebras
Theoretical Computer Science | 2005-01-11 | Paper |
scientific article; zbMATH DE number 2087434 (Why is no real title available?)
| 2004-08-11 | Paper |
Observational logic, constructor-based logic, and their duality.
Theoretical Computer Science | 2003-05-25 | Paper |
On institutions for modular coalgebraic specifications.
Theoretical Computer Science | 2002-07-15 | Paper |
scientific article; zbMATH DE number 1753205 (Why is no real title available?)
| 2002-06-10 | Paper |
scientific article; zbMATH DE number 1735883 (Why is no real title available?)
| 2002-04-29 | Paper |
scientific article; zbMATH DE number 1705159 (Why is no real title available?)
| 2002-02-14 | Paper |
Specifying coalgebras with modal logic
Theoretical Computer Science | 2001-08-20 | Paper |
scientific article; zbMATH DE number 1497876 (Why is no real title available?)
| 2001-03-05 | Paper |
scientific article; zbMATH DE number 1314231 (Why is no real title available?)
| 1999-07-12 | Paper |
scientific article; zbMATH DE number 1231627 (Why is no real title available?)
| 1999-01-06 | Paper |
Many-valued coalgebraic logic over semi-primal varieties
| N/A | Paper |
