A compositional approach to defining logics for coalgebras

Coalgebraic logic

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

Bisimulation for probabilistic transition systems: a coalgebraic approach

E.P. de Vink, J.J.M.M. Rutten · Theoretical Computer Science · 1999 · 152 citations · Full text

Computing, Computer Science, Mathematics +13

Coalgebras and Modal Logic

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

Computing, Computer Science, Formal Methods +10

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, E.P. de Vink · Theoretical Computer Science · 2004 · 96 citations · Full text

Engineering, Computer Science, Systems Engineering +12

Expressive Logics for Coalgebras via Terminal Sequence Induction

Dirk Pattinson · Notre Dame Journal of Formal Logic · 2004 · 92 citations · Full text

Natural Sciences, Computer Science, Mathematics +14