Talk:Temporal logic of actions