Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,032
Number of items: 1,032
  • Kracht, M., de Rijke, M., Wansing, H., & Zakharyaschev, M. (1998). Advances in modal logic, vol 1. CSLI Publications. http://www.aiml.net/volumes/volume1/
  • de Rijke, M. (1998). Preface. In Advances in modal logic, vol 1 (pp. 9-14). (-; No. -). CSLI Publications.
  • Monz, C., & de Rijke, M. (1998). Labeled resolution for discourse semantics. In Proceedings of labeled deduction '98
  • Monz, C., & de Rijke, M. (1998). A resolution calculus for dynamic reasoning. In Logics in artificial intelligence Springer.
  • Blackburn, P., & de Rijke, M. (1997). Specifying Syntactic Structures. Studies in logic, Language and Information. CSLI Publications.
  • de Rijke, M. (1997). Preface. In M. de Rijke (Ed.), Advances in intensional logic (pp. III-VII). (Applied logic series; No. 7). Dordrecht.
  • Blackburn, P., & de Rijke, M. (1997). Preface. In Specifying syntactic structures (pp. IX-XIV). (Studies in logic, language and information). CSLI.
  • van der Hoek, W., & de Rijke, M. (1997). Sahlqvist's theorem. In M. Hazewinkel (Ed.), Encyclopaedia of Mathematics Supplement Volume I (pp. 445). Kluwer Academic Publishers.
  • Blackburn, P., de Rijke, M., & Venema, Y. (1997). Relational methods in logic, language and information. In W. Kahl, C. Brink, & G. Schmidt (Eds.), Relational Methods in Computer Science (pp. 211-225). Springer-Verlag.
  • Blackburn, P., Jaspars, J., & de Rijke, M. (1997). Reasoning about changing information. South African Computer Journal, 19, 2-26.
Page 96 of 104