Joeri Engelfriet Jan Treur Linear, Branching Time and Joint Closure Semantics for Temporal Logic. 389-425 2002 11 Journal of Logic, Language and Information 4 db/journals/jolli/jolli11.html#EngelfrietT02