Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 206
Number of items: 206
  • Kamps, J., Marx, M. J., de Rijke, M., & Sigurbjörnsson, B. (2003). XML retrieval: What to retrieve? In C. Clarke, G. Cormack, J. Callan, D. Hawking, & A. Smeaton (Eds.), Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 409-410). ACM Press.
  • Areces, C. E., Blackburn, P., & Marx, M. J. (2003). Repairing the interpolation lemma in quantified modal logic. Annals of Pure and Applied Logic, 124, 287-299. https://doi.org/10.1016/S0168-0072(03)00059-9
  • Blackburn, P., & Marx, M. J. (2003). Constructive interpolation in hybrid logic. Journal of Symbolic Logic, 68(2), 463-480. https://doi.org/10.2178/jsl/1052669059
  • Areces, C. E., Blackburn, P., Martinez Hernandez, B., & Marx, M. J. (2003). Handling Boolean ABoxes. In D. Calvanese, C. de Giacomo, & E. Franconi (Eds.), Proceedings of the 2003 Workshop on Description Logics (DL2003) (pp. 48-55)
  • Blackburn, P., & Marx, M. J. (2002). Constructive Interpolation in Hybrid Logic. (Technical Reports; No. PP-2002-12). Institute for Logic, Language and Computation.
  • Marx, M. J., & Masuch, M. (2002). Regular Equivalence and Dynamic Logic. (Technical Reports; No. PP-2002-02). Institute for Logic, Language and Computation.
  • 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.
Page 17 of 21