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.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

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

Studia Logica, Vol. 72 (pp 253-263)

Article | UvA-DARE

Marx, M., Treur, J. (2001) Trust dynamics formalised in temporal logic.

In Chen, L. Zhuo, Y. (Eds.), Proc. of the Third International Conference on Cognitive Scienc, ICCS 2001 (pp 359-363)

Marx, M., Venema, Y. (1999) A modal logic of relations.

In Orlowska, E. (Eds.), Logic at Work: Essays Dedicated to the Memory of Elena Rasiowa (pp 124-167). Physica-Verlag.

Marx, M., Venema, Y. (2000) Local variations on a loose theme: modal logic and decidability.

Technical Report. Institute for Logic Language and Computation.

Working paper | UvA-DARE