Topological Aspects of Branching-Time Semantics. - Michela Sabbadin; Alberto Zanardo (Stud Logica, 2003)