Alexander Kurz, Alessandra Palmigiano, Yde Venema; Coalgebra and Logic: A Brief Overview, Journal of Logic and Computation, Volume 20, Issue 5, 1 October 2.

The idea of coalgebra is general enough to encompass structures that are not usually perceived as relational structures or transition systems and that ...

Several researchers have collaborated to publish an overview of coalgebra and logic in the special issue of the Journal of Logic and Computation.

Several researchers have collaborated to publish an overview of coalgebra and logic in the special issue of the Journal of Logic and Computation.

Abstract. Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic.

Jun 5, 2024 · In these notes I will take the particular view that a coalgebraic logic (or a modal logic) is given by a functor L on the category of Boolean algebras.

Apr 23, 2018 · Abstract. Four lectures offering an introduction to coalgebra from the point of view of automata theory. The emphasis in the lectures is on ...

Here we will outline the algebraic and coalgebraic environments of the theory of modal logic. First we approach modal logic with the methodology of algebraic ...

Coalgebras can be seen as a natural abstraction of Kripke frames. In the same sense, coalgebraic logics are generalised modal logics.

Algebra is a well-established part of mathematics, dealing with sets with operations satisfying certain properties, like groups, rings, vector spaces, etc.