Ian Hodkinson, Mark Reynolds
This survey article discusses separation in temporal logic, focusing on the original application of separation, some more recent activity on it, and some open problems about it.
Book title: We will show them! (Essays in honour of Dov Gabbay on his 60th birthday), volume 2,
S. Artemov, H. Barringer, A. d'Avila Garcez, L. Lamb, J. Woods, eds.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.