Marti, J. (2013) Semantic Facts on Kripke Frames.

In Punčochář, V. Švarný, P. (Eds.), The Logica Yearbook 2012 (pp 101-112). College Publications.

Marti, J. (2016) Interpreting linguistic behavior with possible world models.

Thesis, fully internal | UvA-DARE

Marti, J. (2023) Conditional Logic is Complete for Convexity in the Plane.

Review of Symbolic Logic, Vol. 16 (pp 529-552)

Article | https://doi.org/10.1017/S1755020321000356 | UvA-DARE

Martinez-Ortiz, C., Koolen, M.H.A., Buschenhenke, F., van Dalen-Oskam, K. (2015) Beyond the Book: Linking Books to Wikipedia.

In Proceedings, 11th IEEE International Conference on eScience: 31 August-4 September 2015, Munich, Germany (pp 12-21). IEEE Computer Society.

Marx, M., Bezhanishvili, N. (2000) All proper normal extensions of S5-square have the polynomial size model property.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M., Dastani, M. (2002) Anaphoric definitions in description logic.

Lecture Notes in Computer Science, Vol. 2510 (pp 410-417)

Article | UvA-DARE

Marx, M., de Rijke, M. (2004) Semantic characterizations of navigational XPath.

In Mihajlovic, V. Hiemstra, D. (Eds.), Proceedings of the First Twente Data Management Workshop (pp 67-73)

Marx, M., Hoogland, E., Otto, M. (1999) Beth Definability for the Guarded Fragment.

In McAllester, D. Ganzinger, H. Voronkov, A. (Eds.), Logic for Programming and Automated Reasoning (pp 273-285). Springer-Verlag.

Marx, M., Kamps, J., de Rijke, M. (2002) The University of Amsterdam at INEX-2002.

In Fuhr, N. Gövert, N. Kazai, G. Lalmas, M. (Eds.), INEX 2002 Workshop Proceedings (pp 24-28)

Marx, M., Kamps, J. (2023) Digitaal duurzaam publiceren van Woo-dossiers: Een onderzoek naar de stand van zaken.

Archievenblad, Vol. 123 (pp 20-23)

Article | UvA-DARE

Marx, M., Larooij, M., Enthoven, G., Kamps, J. (2023) Het Woogle Woo-dossiercorpus.

Nederlands Juristenblad, Vol. 98 (pp 3238-3239)

Article | https://www.inview.nl/document/id5cfdbafaf94944da82f6d54d7d946120?ctx=WKNL_CSL_85 | UvA-DARE

Marx, M., Larooij, M., Perasedillo, F., Kamps, J. (2023) Enticing Local Governments to Produce FAIR Freedom of Information Act Dossiers.

In Kamps, J. Goeuriot, L. Crestani, F. Maistro, M. Joho, H. Davis, B. Gurrin, C. Kruschwitz, U. Caputo, A. (Eds.), Advances in Information Retrieval: 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2–6, 2023 : proceedings (pp 269-274) (Lecture Notes in Computer Science, Vol. 13982). Springer.

Marx, M., Masuch, J.M.F. (2001) Regular equivalence and dynamic logic.

Technical Report, Applied Logic Laboratory. Institute for Logic, Language and Computation.

Report | UvA-DARE

Marx, M., Masuch, J.M.F. (2003) Regular equivalence and dynamic logic.

Social Networks, Vol. 25 (pp 51-65)

Article | https://doi.org/10.1016/S0378-8733(02)00036-9 | UvA-DARE

Marx, M., Masuch, M. (2002) Regular Equivalence and Dynamic Logic.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M., Mikulas, S., Nemeti, I. (1995) Taming Logic.

Journal of Logic, Language and Information, Vol. 4 (pp 207-226)

Article | UvA-DARE

Marx, M., Mikulas, S. (1995) A Technology for Obtaining Well-behaved and Strong Algebras of Relations.

In Nieuwendijk, A. (Eds.), Proceedings Accolade '94. Dutch Graduate School in Logic.

Marx, M., Mikulas, S. (2000) Products, or How to Create Modal Logics of High Complexity.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M., Mikulás, Sz. (2001) Products, or how to create modal logics of high complexity.

Logic Journal of the IGPL, Vol. 9 (pp 77-88)

Article | UvA-DARE

Marx, M., Mikulás, Sz. (2001) An elementary construction for a non-elementary procedure.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE