Talk:Timed propositional temporal logic