uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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)
  • 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.
    Chapter | UvA-DARE
  • 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) 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. (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. (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)
    Conference contribution | UvA-DARE
  • 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.
    Chapter | UvA-DARE
  • 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
  • Marx, M., Venema, Y. (2007) Local variations on a loose theme: modal logic and decidability.
    In Grädel, E. Kolaitis, P. Libkin, L. Marx, M.J. Spencer, J. Vardi, M. Venema, Y. Weinstein, S. (Eds.), Finite Model Theory and its Applications (pp 371-430). Springer Verlag.
    Chapter | UvA-DARE
  • Marx, M. (1995) Interpolation, Modularization and Knowledge Representation.
    In Proceedings of NAIC (Nederlandse AI Conferentie), Rotterdam
    Chapter | UvA-DARE
  • Marx, M. (1995) Algebraic Relativization and Arrow Logic.
    ILLC dissertations Series.
    Thesis, fully internal | UvA-DARE
  • Marx, M. (1998) Amalgamation in relation algebras.
    Journal of Symbolic Logic, Vol. 63 (pp 479-484)
  • Marx, M. (2001) Complexity of intuitionistic predicate logic with one variable.
    Technical Report. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Marx, M. (2001) Relation algebra with binders.
    Journal of Logic and Computation, Vol. 11 (pp 691-700)
  • Marx, M. (2001) Tolerance logic.
    Journal of Logic, Language and Information, Vol. 10 (pp 353-373)
    Article | UvA-DARE
  • Marx, M. (2001) Relation Algebra with Binders.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
1 ... 205 206 207 208 209 210 211 212 213 ... 341

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact