Syntactic characterisation of the intersection of CTL and LTL Posted by Simon Bliudze, at cstheory.stackexchange.com, 20 Sep 2016 The Baier and Katoen textbook references this…