Ponse, A., de Rijke, M., & Venema, Y. (1995). Modal Logic and Process Algebra. (CSLI Lecture Notes; No. 53). CSLI Publications.
de Rijke, M. (1995). The logic of Peirce algebras. Journal of Logic, Language and Information, 4, 227-250.
Blackburn, P., Gardent, C., & de Rijke, M. (1994). Back and forth through time and events. In M. J. B. Stokhof, & P. Dekker (Eds.), Proceedings of the 9th Amsterdam colloquium (pp. 161-174). ILLC.
Blackburn, P., de Rijke, M., & Venema, Y. (1994). The algebra of modal logic. (Report; No. CS-R9463). CWI.
de Rijke, M. (1994). Meeting some neighbours. In J. van Eijck, & A. Visser (Eds.), Logic and information flow (pp. 170-195). (Foundations of computing series). MIT Press.
Blackburn, P., & de Rijke, M. (1994). Zooming in, zooming out. (Report; No. CS-R9462). CWI.
Blackburn, P., & de Rijke, M. (1994). Zooming in, zooming out [Abstract]. SIGALA newsletter, 1(2).
de Rijke, M. (1994). A Lindstroem theorem for modal logic. (Report; No. CS-R9456). CWI.
de Rijke, M. (1994). The logic of Peirce algebras. (Report; No. CS-R9467). CWI.
Blackburn, P., & de Rijke, M. (1994). Zooming in, zooming out [Abstract]. In C. Brink, & G. Schmidt (Eds.), Relational methods in computer science (pp. 15). (Dagstuhl-Seminar-Report; No. 80). Geschäftsstelle Schloss Dagstuhl.
