Final coalgebras and the Hennessy-Milner property (0)

by R Goldblatt
Venue:Annals of Pure and Applied Logic