A coalgebraic view on positive modal logic

This publication has 15 references indexed in Scilit:

• A Coalgebraic View of Heyting Duality
  Studia Logica, 2003
• Stone Coalgebras
  Electronic Notes in Theoretical Computer Science, 2003
• Abstract Logics as Dialgebras
  Electronic Notes in Theoretical Computer Science, 2002
• Specifying coalgebras with modal logic
  Theoretical Computer Science, 2001
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
  RAIRO - Theoretical Informatics and Applications, 2001
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
  Logic Journal of the IGPL, 1999
• Coalgebraic logic
  Annals of Pure and Applied Logic, 1999
• Coalgebraic modal logic of finite rank
  Mathematical Structures in Computer Science, 1999
• Positive modal logic
  Studia Logica, 1995
• Varieties of complex algebras
  Annals of Pure and Applied Logic, 1989