1. Gabbay D. M., Hodkinson I. M., and Reynolds M. A., Temporal Logic, Clarendon, Oxford (1994) (Math. Found. Comput. Aspects; Vol. 1).
2. Gabbay D. M. and Hodkinson I. M., “An axiomatization of the temporal logic with Until and Since over the real numbers,” J. Logic Comput., vol. 1, 229–260 (1990).
3. Gabbay D. M. and Hodkinson I. M., Temporal Logic in the Context of Databases, Oxford Univ., Oxford (1995) (Logic and Reality: Essays on the Legacy of Arthur Prior. Copeland J., Ed.).
4. Wooldridge M. and Lomuscio A., “Multi-agent VSK logic” in:, Proc. Seventh European Workshop on Logics in Artificial Intelligence (JELIAI–2000), Springer, London (2000), 300–312.
5. Wooldridge M., “An automata-theoretic approach to multiagent planning” in:, Proc. First European Workshop on Multiagent Systems (EUMAS 2003), Oxford Univ., Oxford (2003), 1–15. http://www.cs.ox.ac.uk/people/michael.wooldridge/pubs/eumas2003.pdf