Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • Open Access
    de Rijke, M. (1995). The logic of Peirce algebras. Journal of Logic, Language and Information, 4, 227-250.
  • Open Access
    de Rijke, M., & Venema, Y. (1995). Sahlqvist's Theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica, 54, 61-78.
  • 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. (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.
Page 100 of 103