Coalgebraic logic
Dedicated to Rohit Parikh on his 60th birthday
Under an Elsevier user license
open archive
Keywords
Infinitary modal logic
Characterization theorem
Functor on sets
Coalgebra
Greatest fixed point
Cited by (0)
Copyright © 1999 Published by Elsevier B.V.