Modal Rules are Co-Implications

This publication has 4 references indexed in Scilit:

• What is the coalgebraic analogue of Birkhoff's variety theorem?
  Theoretical Computer Science, 2001
• Semantical Principles in the Modal Logic of Coalgebras
  Published by Springer Nature ,2001
• Universal coalgebra: a theory of systems
  Theoretical Computer Science, 2000
• Coalgebraic logic
  Annals of Pure and Applied Logic, 1999