1. Areces, C., Blackburn, P. and Marx, M.: 2001, Hybrid logics: Characterization, interpolation and complexity, J. Symbolic Logic 66, 977-1010.
2. Blackburn, P., de Rijke, M. and Venema, Y.: 2001, Modal Logic, Cambridge Tracts in Theoret. Comput. Sci. 53, Cambridge University Press.
3. 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.
4. 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.
5. Davidson, D.: 1984, Inquiries into Truth and Interpretation, Oxford University Press.