1. A separation theorem for discrete-time interval temporal logic. Issue 1 (2nd January 2022) Authors: Guelev, Dimitar P.; Moszkowski, Ben Journal: Journal of applied non-classical logics Issue: Volume 32:Issue 1(2022) Page Start: 28 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗