Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • Open Access
    Blackburn, P., & de Rijke, M. (1997). Zooming in, zooming out. Journal of Logic, Language and Information, 6, 5-31.
  • Open Access
    Kurtonina, N., & de Rijke, M. (1997). Simulating without negation. Journal of Logic and Computation, 7, 503-524.
  • Open Access
    Montanari, A., & de Rijke, M. (1997). Two-sorted metric temporal logic. Theoretical Computer Science, 183, 187-214. https://doi.org/10.1016/S0304-3975(96)00324-6
  • Open Access
    Blackburn, P., & de Rijke, M. (1997). Why combine logics? Studia Logica, 59, 5-27.
  • 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. (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.
Page 97 of 103