A modal proof theory for final polynomial coalgebras

This publication has 22 references indexed in Scilit:

• Final coalgebras and the Hennessy–Milner property
  Annals of Pure and Applied Logic, 2006
• A final coalgebra theorem
  Published by Springer Nature ,2005
• Observational ultraproducts of polynomial coalgebras
  Annals of Pure and Applied Logic, 2003
• What is the coalgebraic analogue of Birkhoff's variety theorem?
  Theoretical Computer Science, 2001
• Towards a Duality Result in Coalgebraic Modal Logic
  Electronic Notes in Theoretical Computer Science, 2000
• Terminal coalgebras in well-founded set theory
  Theoretical Computer Science, 1993
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• On observing nondeterminism and concurrency
  Lecture Notes in Computer Science, 1980
• A Henkin completeness for $T$.
  Notre Dame Journal of Formal Logic, 1967
• The completeness of the first-order functional calculus
  The Journal of Symbolic Logic, 1949