Coalgebraic Logic (1999)

Cached

Download Links

by Lawrence S. Moss
Venue:Annals of Pure and Applied Logic
Citations:94 - 0 self

Documents Related by Co-Citation

302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
60 Specifying coalgebras with modal logic – A Kurz
230 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
407 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
446 Modal Logic – P Blackburn, M deRijke, Y Venema - 2003
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
1520 The Temporal Logic of Reactive and Concurrent Systems: Specification – Z Manna, A Pnueli - 1991
1517 M.: Reasoning about Knowledge – R Fagin, J Halpern, Y Moses, Vardi - 1995
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985