Guest editorial
A clausal resolution method for branching-time logic ECTL+
Reasoning on temporal class diagrams
Tableau-based automata construction for dynamic linear time temporal logic*
A mathematical framework for the semantics of symbolic languages representing periodic time
An algebraic framework for temporal attribute characteristics