Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • Kurtonina, N., & de Rijke, M. (1996). Directed simulations. (Report; No. RR 307). Department of Computer Science, University of Warwick.
  • Kurtonina, N., & de Rijke, M. (1996). Bisimulations for temporal logic. (Report; No. RR 304). Department of Computer Science, University of Warwick.
  • de Rijke, M. (1996). What is modal logic? In M. J. Marx, L. Pólos, & M. Masuch (Eds.), Arrow logics and multi-modal logics (pp. 191-202). (Studies in logic, language and information). CSLI Publications.
  • 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.
  • Csirmaz, L., Gabbay, D. M., & de Rijke, M. (1995). Logic Colloquium '92. (Studies in logic, language, and information). CSLI Publications.
  • 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.
  • de Rijke, M. (1995). A modal characterization of peirce algebras. (Report; No. CS-R9562). CWI.
  • van der Hoek, W., & de Rijke, M. (1995). Counting objects. Journal of Logic and Computation, 5, 325-345.
  • Blackburn, P., Gardent, C., & de Rijke, M. (1995). Ontologies riches pour le temps et l'aspect. In P. Amsili, M. Borillo, & L. Vieu (Eds.), Time, space and movement: meaning and knowledge in the sensible world: workshop notes of the 5th International Workshop on Time, Space and Movement (TSM'95), part D (pp. 3-16). CNRS.
Page 99 of 104