Areces, C., Blackburn, P. and Marx, M.: 2001, Hybrid logics: Characterization, interpolation and complexity, *J. Symbolic Logic*
**66**, 977-1010.

Blackburn, P., de Rijke, M. and Venema, Y.: 2001, *Modal Logic*, Cambridge Tracts in Theoret. Comput. Sci. 53, Cambridge University Press.

Blackburn, P. and Seligman, J.: 1998, What are hybrid languages? in M. Kracht, M. de Rijke, H. Wansing and M. Zakharyaschev (eds.), *Advances in Modal Logic*, Vol. 1, CSLI Publications, Stanford, CA, pp. 41-62.

Braüner, T.: 2001, Homophonic theory of truth for tense logic, in F. Wolter, H. Wansing, M. de Rijke and M. Zakharyaschev (eds.), *Advances in Modal Logic*, Vol. 3, CSLI Publications, Stanford, CA. To appear. An earlier version was given at *Advances in Modal Logic/International Conference on Temporal Logic*, 2000.

Davidson, D.: 1984, *Inquiries into Truth and Interpretation*, Oxford University Press.

Fitting, M.: 1993, Basic modal logic, in D. Gabbay et al. (eds.), *Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, Logical Foundations*, Oxford University Press, Oxford, pp. 365-448.

Fitting, M. and Mendelsohn, R. L.: 1998, *First-Order Modal Logic*, Kluwer Academic Publishers, Dordrecht.

Gupta, A.: 1978, Modal logic and truth, *J. Philos. Logic*
**7**, 441-472.

Halpern, J. Y. and Vardi, M. Y.: 1989, The complexity of reasoning about knowledge and time. I. Lower bounds, *J. Comput. Systems Sci.*
**38**, 195-237.

Hughes, G. E. and Cresswell, M. J.: 1968, *An Introduction to Modal Logic*, Methuen.

Hughes, G. E. and Cresswell, M. J.: 1984, *A Companion to Modal Logic*, Methuen.

Humberstone, L.: 1996, Homophony, validity, modality, in J. Copeland (ed.), *Logic and Reality: Essays in the Legacy of Arthur Prior*, Oxford University Press/Clarendon Press, pp. 215-236.

Øhrstrøm, P. and Hasle, P.: 1993, A. N. Prior's rediscovery of tense logic, *Erkenntnis*
**39**, 23-50.

Peacocke, C.: 1978, Necessity and truth theories, *J. Philos. Logic*
**7**, 473-500.

Prior, A.: 1957, *Time and Modality*, Clarendon/Oxford University Press.

Prior, A.: 1967, *Past, Present and Future*, Oxford.

Prior, A.: 1968, *Papers on Time and Tense*, Clarendon/Oxford University Press. A revised and extended edition of this book will in 2003 be published by Oxford University Press, edited by P. Hasle, P. Øhrstrøm, T. Braüner, and J. Copeland.

Sundholm, G.: 1986, Proof theory and meaning, in D. Gabbay and F. Guenthner (eds.), *Handbook of Philosophical Logic, Vol. III, Alternatives to Classical Logic*, D. Reidel, pp. 471-506.

Sylvan, R.: 1996, Other withered stumps of time, in J. Copeland (ed.), *Logic and Reality: Essays in the Legacy of Arthur Prior*, Oxford University Press/Clarendon Press, Oxford, pp. 111-130.

Tarski, A.: 1956, The concept of truth in formalized languages, in *Logic, Semantics, Metamathematics*, Oxford University Press, pp. 152-278.

Thomason, R. H.: 1976, Necessity, quotation and truth: An indexical theory, in A. Kasher (ed.), *Language in Focus*, D. Reidel, pp. 119-138.

Wallace, J.: 1970, On the frame of reference, *Synthese*
**22**, 61-94.

Wallace, J.: 1975, Nonstandard theories of truth, in D. Davidson and G. Harman (eds.), *The Logic of Grammar*, Dickenson Publishing Company, pp. 50-60.