Epistemic and temporal reasoning - Cabbay, Dov. M.; Hogger, C. J.; Robinson, J. A.; Galton, Antony (Handbooks of logic in computer science and artificial intelligence and logic programming)