Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,032
Number of items: 1,032
  • 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.
  • Blackburn, P., Gardent, C., & de Rijke, M. (1994). Back and forth through time and events. In D. M. Gabbay, & H. J. Ohlbach (Eds.), Temporal logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (pp. 225-337). (Lecture notes in computer science; No. 827). Springer.
  • 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.
  • van der Hoek, W., & de Rijke, M. (1993). Counting objects. In Conference proceedings of ICCS '93 (pp. 173-175). University of the Basque Country.
  • de Rijke, M. (1993). A modal logic for updating and contracting [Abstract]. Journal of Symbolic Logic, 58(3), 1145.
Page 101 of 104