Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • Monz, C., & de Rijke, M. (1998). A tableaux calculus for ambiguous quantification. ILLC, University of Amsterdam.
  • Areces, C. E., & de Rijke, M. (1998). Expressiveness revisited. ILLC, University of Amsterdam.
  • Monz, C., & de Rijke, M. (1998). A resolution calculus for dynamic reasoning. ILLC, University of Amsterdam.
  • Monz, C., & de Rijke, M. (1998). inference and Natural language semantics. In Proceedings LACL-98
  • Areces, C. E., & de Rijke, M. (1998). Expressiveness revisited. In G. de Giacomo, E. Franconi, R. MacGregor, W. Nutt, & C. Welty (Eds.), Proc. of the 1998 International workshop on descrition logics (pp. 35-43). (-; No. --). Povo.
  • Areces, C. E., & de Rijke, M. (1998). interpolation and bisimulation in temporal logic. In Proc. of WoLLIC'98 Workshop of logic, language, information and computation (pp. 15-21). (--; No. -)..
  • de Rijke, M. (1998). A modal characterisation of Peirce algebras. In Logic at work Springer.
  • de Rijke, M. (1998). A system of dynamic modal logic. Journal of Philosophical Logic, 27, 109-142. https://doi.org/10.1023/A:1004295308014
  • 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.
Page 95 of 104