Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • 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.
  • de Rijke, M. (1993). Extending modal logic. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • de Rijke, M. (1993). Preface. In M. de Rijke (Ed.), Diamonds and defaults: studies in pure and applied intensional logic (pp. VII). (Synthese library; No. 229). Kluwer Academic Publishers.
  • van der Hoek, W., & de Rijke, M. (1993). Counting objects. In Conference proceedings of ICCS '93 (pp. 173-175). University of the Basque Country.
  • de Rijke, M. (1993). A modal logic for updating and contracting [Abstract]. Journal of Symbolic Logic, 58(3), 1145.
  • de Rijke, M. (1993). Diamonds and defaults: studies in pure and applied intensional logic. (Synthese library; No. 229). Kluwer Academic Publishers.
  • de Rijke, M. (1993). Correspondence theory for extended modal logics. (Report; No. ML-93-16). Institute for Logic, Language and Computation, University of Amsterdam.
  • Open Access
    van der Hoek, W., & de Rijke, M. (1993). Generalized quantifiers and modal logic. Journal of Logic, Language and Information, 2, 19-58.
  • van der Hoek, W., & de Rijke, M. (1992). Counting objects in generalized quantifier theory, modal logic and knowledge representation. (IR; No. 307). Free University of Amsterdam.
  • de Rijke, M. (1992). Meeting some neighbours. (Report; No. LP-92-10). Institute for Logic, Language and Computation, University of Amsterdam.
Page 101 of 103