Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 206
Number of items: 206
  • Marx, M. J. (2004). [Review of: R. Hirsch, I. Hodkinson. Relation Algebras and Games]. Studia Logica, 77(1), 129-147.
  • Bezhanishvili, N., ten Cate, B. D., Marx, M. J., & Viana, J. P. (2004). Sahlqvist theory and transfer results for hybrid logics. In R. Schmidt, & I. Pratt-Hartman (Eds.), Preliminary proceedings of Advances in Modal Logic 2004 (pp. 44-61).
  • ten Cate, B. D., Marx, M. J., & Viana, J. P. (2004). Sahlqvist theory for hybrid logic. In A. Troelstra (Ed.), Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh (pp. 1-6)
  • Open Access
    Kamps, J., Marx, M. J., Mokken, R. J., & de Rijke, M. (2004). Using WordNet to measure semantic orientations of adjectives. In Proceedings of the Fourth International Conference on Language Resources and Evaluation (Vol. IV, pp. 1115-1118). European Language Resources Association (ELRA). http://remote.science.uva.nl/~mdr/Publications/Files/lrec2004_wordnet.pdf
  • Blackburn, P., & Marx, M. J. (2003). Tableaux for Quantified Hybrid Logic. (Technical Reports; No. PP-2003-10). Institute for Logic, Language and Computation.
  • 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
  • Bezhanishvili, N., & Marx, M. J. (2003). All proper normal extensions of s5-squared have the polynomial size model property. Studia Logica, 73, 367-382.
  • Fundulaki, I., & Marx, M. J. (2003). Mediation of XML Data through Entity Relationship Models. In Proceedings of the 1st International Workshop on Semantic Web and Databases
  • 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.
  • Blackburn, P., Gaiffe, B., & Marx, M. J. (2003). Variable free reasoning on finite trees. In Proceedings of Mathematics of Language (MOL-8)
Page 16 of 21