Specifying coalgebras with modal logic

This publication has 14 references indexed in Scilit:

• Universal coalgebra: a theory of systems
  Theoretical Computer Science, 2000
• Coalgebraic logic
  Annals of Pure and Applied Logic, 1999
• Coalgebraic Reasoning about Classes in Object-Oriented Languages
  Electronic Notes in Theoretical Computer Science, 1998
• Covarieties and Complete Covarieties
  Electronic Notes in Theoretical Computer Science, 1998
• Reasoning about classes in object-oriented languages: Logical models and tools
  Published by Springer Nature ,1998
• A linear temporal logic approach to objects with transactions
  Published by Springer Nature ,1997
• An approach to object semantics based on terminal co-algebras
  Mathematical Structures in Computer Science, 1995
• Defining equations in terminal coalgebras
  Published by Springer Nature ,1995
• A model existence theorem in infinitary propositional modal logic
  Journal of Philosophical Logic, 1994
• Combining object-oriented and logic paradigms: A modal logic programming approach
  Published by Springer Nature ,1992