Blackburn, P., & de Rijke, M. (1997). Why combine logics?Studia Logica, 59, 5-27.
Kurtonina, N., & de Rijke, M. (1997). Simulating without negation. Journal of Logic and Computation, 7, 503-524.
Kurtonina, N., & de Rijke, M. (1997). Bisimulations for temporal logic. Journal of Logic, Language and Information, 6, 403-425.
Blackburn, P., & de Rijke, M. (1997). Zooming in, zooming out. Journal of Logic, Language and Information, 6, 5-31.
van der Hoek, W., & de Rijke, M. (1996). Interleaved contractions. (Report; No. RR 305). Department of Computer Science, University of Warwick.
Blackburn, P., Jaspars, J., & de Rijke, M. (1996). Reasoning about changing information. (Report; No. RR 315). Department of Conputer Science, University of Warwick.
Blackburn, P., Gardent, C., & de Rijke, M. (1996). Rich ontologies for tense and aspect. In J. Seligman, & D. Westerstahl (Eds.), Logic, language and computation (pp. 77-92). (CSLI lecture notes). Stanford, CA.
Kurtonina, N., & de Rijke, M. (1996). Directed simulations. (Report; No. RR 307). Department of Computer Science, University of Warwick.
Kurtonina, N., & de Rijke, M. (1996). Bisimulations for temporal logic. (Report; No. RR 304). Department of Computer Science, University of Warwick.
de Rijke, M. (1996). What is modal logic? In M. J. Marx, L. Pólos, & M. Masuch (Eds.), Arrow logics and multi-modal logics (pp. 191-202). (Studies in logic, language and information). CSLI Publications.
