Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • Blackburn, P., & de Rijke, M. (1996). Editors' introduction. In Special issue on combining logics (pp. 161-166). (Notre Dame journal of formal logic; No. 37 : 2). University of Notre Dame.
  • de Rijke, M., & Blackburn, P. (1996). Combining logics. (Notre Dame journal of formal logic; No. 37 : 2). University of Notre Dame.
  • Blackburn, P., Meyer Viol, W., & de Rijke, M. (1996). A proof system for finite trees. In H. Kleine Büning (Ed.), Computer science logic: 9th International Workshop, CSL '95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers (pp. 86-105). (Lecture notes in computer science; No. 1092). Springer.
  • Blackburn, P., & de Rijke, M. (1996). Logical aspects of combined structures. In J. Seligman, & D. Westerstahl (Eds.), Logic, language and computation (pp. 65-76). (CSLI lecture notes; No. 58). CSLI.
  • van der Hoek, W., & de Rijke, M. (1996). Interleaved contractions. In A. Cesta, & P. Y. Schobbens (Eds.), Proceedings 4th ModelAge Workshop (pp. 173-186)
  • de Rijke, M. (1996). A note on graded modal logic. (Report; No. RR 318). Department of Computer Science, University of Warwick.
  • Blackburn, P., de Rijke, M., & Venema, Y. (1995). Relational methods in logic, language and information. (Report; No. CS-R9561). CWI.
  • 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.
  • Montanari, A., & de Rijke, M. (1995). Two-sorted metric temporal logics. (Report; No. CS-R9577). CWI.
  • Blackburn, P., Meyer Viol, W., & de Rijke, M. (1995). A proof system for finite trees. (Report; No. CS-R9563). CWI.
Page 98 of 103