Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 206
Number of items: 206
  • Marx, M. J. (2002). Narcissists, stepmothers and spies. In Proceedings of the 2002 International Workshop on Description Logic workshop
  • Marx, M. J., & Dastani, M. M. (2002). Anaphoric definitions in description logic. Lecture Notes in Computer Science, 2510, 410-417.
  • 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). 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.
  • Areces, C. E., Blackburn, P., & Marx, M. J. (2001). Repairing the interpolation theorem in first-order modal logic. In Proceedinds of BNAIC 2001
  • Marx, M. J. (2001). Relation Algebra with Binders. (Technical Reports; No. PP-2001-04). Institute for Logic, Language and Computation.
  • Marx, M. J., & Masuch, J. M. F. (2001). Regular equivalence and dynamic logic. (Technical Report, Applied Logic Laboratory). Institute for Logic, Language and Computation.
Page 18 of 21