Three recent approaches to temporal reasoning