Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • 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). Zooming in, zooming out. Journal of Logic, Language and Information, 6, 5-31.
  • 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.
  • van der Hoek, W., & de Rijke, M. (1996). Interleaved contractions. (Report; No. RR 305). Department of Computer Science, University of Warwick.
  • Blackburn, P., Jaspars, J., & de Rijke, M. (1996). Reasoning about changing information. (Report; No. RR 315). Department of Conputer Science, University of Warwick.
  • Blackburn, P., Gardent, C., & de Rijke, M. (1996). Rich ontologies for tense and aspect. In J. Seligman, & D. Westerstahl (Eds.), Logic, language and computation (pp. 77-92). (CSLI lecture notes). Stanford, CA.
Page 98 of 104