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.
Ponse, A., de Rijke, M., & Venema, Y. (1995). Preface. In A. Ponse, M. de Rijke, & Y. Venema (Eds.), Modal logic and process algebra: a bisimulation perspective (pp. vii-xi). (CSLI lecture notes; No. 53). CSLI Publications.
de Rijke, M. (1995). A Lindström theorem for modal logic. In A. Ponse, M. de Rijke, & Y. Venema (Eds.), Modal logic and process algebra: a bisimulation perspective (pp. 217-230). (CSLI lecture notes; No. 53). CSLI.
de Rijke, M. (1995). Modal model theory. (Report; No. CS-R9517). CWI.
Blackburn, P., & de Rijke, M. (1995). Why combine logics? (Report; No. CS-R9533). CWI.