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.
Blackburn, P., de Rijke, M., & Venema, Y. (1995). Relational methods in logic, language and information. (Report; No. CS-R9561). CWI.
Csirmaz, L., Gabbay, D. M., & de Rijke, M. (1995). Logic Colloquium '92. (Studies in logic, language, and information). CSLI Publications.
van der Hoek, W., & de Rijke, M. (1995). Counting objects. Journal of Logic and Computation, 5, 325-345.