Coalgebraic modal logic: soundness, completeness and decidability of local consequence

Universal coalgebra: a theory of systems

J.J.M.M. Rutten · Theoretical Computer Science · 2000 · 1.2K citations

Algebraic Logic, Hopf Algebra, Universal Algebra +1

Terminal coalgebras in well-founded set theory

Michael Barr · Theoretical Computer Science · 1993 · 268 citations

Combinatorial Hopf Algebra, Terminal Coalgebras

Structural Induction and Coinduction in a Fibrational Setting

Claudio Hermida, Bart Jacobs · Information and Computation · 1998 · 190 citations

Inductive Reasoning, Algebraic Combinatorics, Universal Algebra +1

Coalgebraic logic

Lawrence S. Moss · Annals of Pure and Applied Logic · 1999 · 162 citations

Coalgebras and Modal Logic

Martin Rößiger · Electronic Notes in Theoretical Computer Science · 2000 · 116 citations · Full text