What is the coalgebraic analogue of Birkhoff's variety theorem?

Theoretical Computer Science

Volumn 266, Issue 1-2, 2001, Pages 853-886

  Goldblatt, Robert ^a  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

Bisimulation; Coalgebra; Observable formula; Observationally rich filter

Indexed keywords

COMPUTER SCIENCE; FORMAL LOGIC;

BISIMULATION;

BOOLEAN ALGEBRA;

EID: 0035817893     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00395-9     Document Type: Article

References (19)

1. Vicious circles
2. On the structure of abstract algebras
3. Hidden coinduction: Behavioural correctness proofs for objects
4. Mathematics of modality
5. Axiomatic classes in propositional modal logic
6. Covarieties and complete covarieties
7. Objects and classes, coalgebraically
8. Towards a duality result in coalgebraic modal logic
9. Coalgebras and modal logic
10. Specifying coalgebras with modal logic
11. An approach to object semantics based on terminal co-algebras
12. A Birkhoff-like axiomatisability result for hidden algebra and coalgebra
13. A calculus of transition systems
14. Universal coalgebra: A theory of systems