Clemens Kupke

CoRR, 2024

Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients.

[BibT_eX]

[DOI]

Anton Chernev

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

Proving Behavioural Apartness.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2024

A Categorical Approach to Coalgebraic Fixpoint Logic.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2024

2023

Relative fixed points of functors.

[BibT_eX]

[DOI]

Ezra Schoen

Jade Master

CoRR, 2023

Beyond Initial Algebras and Final Coalgebras.

[BibT_eX]

[DOI]

Ezra Schoen

Jade Master

CoRR, 2023

Preservation and Reflection of Bisimilarity via Invertible Steps.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Measure-Theoretic Semantics for Quantitative Parity Automata.

[BibT_eX]

[DOI]

Corina Cîrstea

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

Forward and Backward Steps in a Fibration.

[BibT_eX]

[DOI]

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists.

[BibT_eX]

[DOI]

Sean Watters

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics.

[BibT_eX]

[DOI]

Lutz Schröder

ACM Trans. Comput. Log., 2022

Size measures and alphabetic equivalence in the μ-calculus.

[BibT_eX]

[DOI]

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Succinct Graph Representations of μ-Calculus Formulas.

[BibT_eX]

[DOI]

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Expressive Logics for Coinductive Predicates.

[BibT_eX]

[DOI]

Jurriaan Rot

Log. Methods Comput. Sci., 2021

Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity.

[BibT_eX]

[DOI]

J. ACM, 2021

On the size of disjunctive formulas in the μ-calculus.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Compositional Game Theory, Compositionally.

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Size matters in the modal μ-calculus.

[BibT_eX]

[DOI]

CoRR, 2020

Minimisation in Logical Form.

[BibT_eX]

[DOI]

Nick Bezhanishvili

Marcello M. Bonsangue

CoRR, 2020

Learning Weighted Automata over Principal Ideal Domains.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law.

[BibT_eX]

[DOI]

Neil Ghani

Alasdair Lambert

Proceedings of the Proceedings Applied Category Theory 2019, 2019

Completeness for Game Logic.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Coalgebra Learning via Duality.

[BibT_eX]

[DOI]

Simone Barlocco

Jurriaan Rot

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

A compositional treatment of iterated open games.

[BibT_eX]

[DOI]

Neil Ghani

Alasdair Lambert

Theor. Comput. Sci., 2018

Angluin Learning via Logic.

[BibT_eX]

[DOI]

Simone Barlocco

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

Coalgebraic Logics & Duality.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2018

2017

Parity Games and Automata for Game Logic (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

Stream Differential Equations: Specification Formats and Solution Methods.

[BibT_eX]

[DOI]

Jan Rutten

Log. Methods Comput. Sci., 2017

Parity Games and Automata for Game Logic.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

2016

Games for Topological Fixpoint Logic.

[BibT_eX]

[DOI]

Nick Bezhanishvili

Proceedings of the Seventh International Symposium on Games, 2016

2015

Weak Completeness of Coalgebraic Dynamic Logics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015

Reasoning with Global Assumptions in Arithmetic Modal Logics.

[BibT_eX]

[DOI]

Lutz Schröder

Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015

2014

Stable Model Semantics for Guarded Existential Rules and Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics.

[BibT_eX]

[DOI]

Raul Andres Leal

Proceedings of the Theoretical Computer Science, 2014

A Final Coalgebra for k-regular Sequences.

[BibT_eX]

[DOI]

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Well-Founded Semantics for Extended Datalog and Ontological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Completeness for the coalgebraic cover modality

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Minimization via Duality.

[BibT_eX]

[DOI]

Nick Bezhanishvili

Prakash Panangaden

Proceedings of the Logic, Language, Information and Computation, 2012

Acyclicity Conditions and their Application to Query Answering in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

On the Final Coalgebra of Automatic Sequences.

[BibT_eX]

[DOI]

Jan J. M. M. Rutten

Proceedings of the Logic and Program Semantics, 2012

Equality-Friendly Well-Founded Semantics and Applications to Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Coalgebraic semantics of modal logics: An overview.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

EXPTIME Tableaux for the Coalgebraic mu-Calculus

[BibT_eX]

[DOI]

Corina Cîrstea

Log. Methods Comput. Sci., 2011

2010

Complete sets of cooperations.

[BibT_eX]

[DOI]

Jan J. M. M. Rutten

Inf. Comput., 2010

Optimal Tableau Algorithms for Coalgebraic Logics.

[BibT_eX]

[DOI]

Rajeev Goré

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Global Caching for Coalgebraic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

On Modal Logics of Linear Inequalities.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

2009

Neighbourhood Structures: Bisimilarity and Basic Model Theory

[BibT_eX]

[DOI]

Eric Pacuit

Log. Methods Comput. Sci., 2009

Nominals for Everyone.

[BibT_eX]

[DOI]

Lutz Schröder

Proceedings of the IJCAI 2009, 2009

EXPTIME Tableaux for the Coalgebraic <i>µ</i>-Calculus.

[BibT_eX]

[DOI]

Corina Cîrstea

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

Characterising Behavioural Equivalence: Three Sides of One Coin.

[BibT_eX]

[DOI]

Raul Andres Leal

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Coalgebraic Automata Theory: Basic Results.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Observational Coalgebras and Complete Sets of Co-operations.

[BibT_eX]

[DOI]

Jan J. M. M. Rutten

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

Preface.

[BibT_eX]

[DOI]

Jirí Adámek

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

Completeness of the finitary Moss logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 7, 2008

2007

Terminal Sequence Induction via Games.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2007

Bisimulation for Neighbourhood Structures.

[BibT_eX]

[DOI]

Eric Pacuit

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2005

Closure Properties of Coalgebra Automata.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Ultrafilter Extensions for Coalgebras.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Stone coalgebras.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Algebraic Semantics for Coalgebraic Logics.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

A Coalgebraic Perspective on Monotone Modal Logic.

[BibT_eX]

[DOI]