Advances in temporal logic - Barringer, Howard (Applied logic series ; ;, 2000)