Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 206
Number of items: 206
  • Marx, M. J. (2003). XPath and modal logics of finite DAG's. In M. Mayer, & F. Pirri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods (Proc. TABLEAUX 2003), volume 2796 of LNAI (pp. 150-164). Springer.
  • Bezhanishvili, N., & Marx, M. J. (2003). All proper normal extensions of s5-squared have the polynomial size model property. Studia Logica, 73, 367-382.
  • Marx, M. J., & Masuch, J. M. F. (2003). Regular equivalence and dynamic logic. Social Networks, 25(1), 51-65. https://doi.org/10.1016/S0378-8733(02)00036-9
  • Blackburn, P., Gaiffe, B., & Marx, M. J. (2003). Variable free reasoning on finite trees. In Proceedings of Mathematics of Language (MOL-8)
  • 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.
  • Kamps, J., & Marx, M. J. (2002). Notions of indistinguishability for semantic web languages. Lecture Notes in Computer Science, 2342, 30-38.
  • Kamps, J., & Marx, M. J. (2002). Words with attitude. In H. Blockeel, & M. Deneker (Eds.), BNAIC'02: Proceedings of the 14th Belgian-Netherlands Conference on Artificial Intelligence (pp. 449-450)
  • 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.
Page 17 of 21