Bart Jacobs
-
The temporal logic of coalgebras via Galois algebras
Mathematical Structures in Computer Science