| |
| | Temporal Logic |
 | | Galton, A. P., 1995, "Time and Change for AI", in D. Gabbay, C. Hogger, and J. Robinson, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4, Oxford: Clarendon Press, pages 175-240. |
 | | Richards, B., Bethke, I., van der Does, J., and Oberlander, J., 1989, Temporal Representation and Inference, London: Academic Press. |
 | | Taylor, B., 1985, Modes of Occurrence, Aristotelian Society Series, Volume 2, Oxford: Basil Blackwell. |
| plato.stanford.edu /entries/logic-temporal (3508 words) |
|