Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 206
Number of items: 206
  • Marx, M. J., Kamps, J., & de Rijke, M. (2002). The University of Amsterdam at INEX-2002. In N. Fuhr, N. Gövert, G. Kazai, & M. Lalmas (Eds.), INEX 2002 Workshop Proceedings (pp. 24-28)
  • Blackburn, P., & Marx, M. J. (2002). Tableaux for quantified hybrid logic. Lecture Notes in Computer Science, 2381, 38-52.
  • Kamps, J., Marx, M. J., Monz, C., & de Rijke, M. (2002). Exploiting structure for information retrieval. In M. F. Moens, R. de Busser, D. Hiemstra, & W. Kraaij (Eds.), Proceedings of the Third Dutch Belgian Information Retrieval Workshop (DIR-2002) (pp. 19-26). K.U. Leuven.
  • Blackburn, P., & Marx, M. J. (2002). Remarks on D. Gregory's actually operator. Journal of Philosophical Logic, 31(3), 281-288. https://doi.org/10.1023/A:1015726824270
  • Hoogland, E., & Marx, M. J. (2002). Interpolation in the guarded fragment. Studia Logica, 70(3), 273-409.
  • Marx, M. J. (2002). Computing with cylindric modal logics and arrow logics, lower bounds. Studia Logica, 72(2), 233-252.
  • Marx, M. J., & Mikulás, S. (2002). An elementary construction for a non-elementary procedure. Studia Logica, 72(2), 253-263.
  • Blackburn, P., Kamps, J., & Marx, M. J. (2001). Situation calculus as hybrid logic: First steps. In P. Brazdil, & A. Jorge (Eds.), Progress in Artificial Intelligence (pp. 253-260). (Lecture Notes in Artificial Intelligence; No. 2258). Springer Verlag.
  • Areces, C. E., Blackburn, P., & Marx, M. J. (2001). Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66(3), 977-1010. https://doi.org/10.2307/2695090
  • Blackburn, P., & Marx, M. J. (2001). Third international workshop on hybrid logic (hylo'01). Logic Journal of the IGPL, 9(5), 735-737.
Page 18 of 21