The temporal logic of coalgebras via Galois algebras (0)

by B Jacobs
Venue:Math. Struct. in Comp. Sci