 Important references on decidability results and decision procedures for various temporal logics include: Burgess (1980) and Gurevich and Shelah (1985) for branching time logics; Burgess and Gurevich (1985) for linear temporal logics; Goldblatt (1992) for both linear and branching time logics; Montanari and Policriti (1996) for metric and layered temporal logics; French (2001) for some quantified propositional branching time logics.