For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

Dr. J.M.I.M. (Joop) Leo

Faculty of Humanities
Logic and Language

Visiting address
  • Oude Turfmarkt 143
Postal address
  • Postbus 94201
    1090 GE Amsterdam
  • Publications



    • Leo, J. M. I. M. (2014). Thinking in a coordinate-free way about relations. Dialectica, 68(2), 263-282.


    • Leo, J. M. I. M. (2013). Relational complexes. Journal of Philosophical Logic, 42, 357-390.


    • Leo, J. M. I. M., Visser, A., van Oostrom, V., & Grabmayer, C. (2011). On the termination of Russell's description elimination algorithm. Review of Symbolic Logic, 4(3), 367-393.


    • Leo, J. M. I. M. (2010). Modeling occurrences of objects in relations. Review of Symbolic Logic, 3(1), 145-174.


    • Leo, J. M. I. M. (2008). Modeling relations. Journal of Philosophical Logic, 37, 353-385.
    • Leo, J. M. I. M. (2008). The identity of argument-places. Review of Symbolic Logic, 1(3), 335-354.


    • Leo, J. M. I. M. (1991). A general context-free parsing algorithm running in linear time on every LR(k) grammar without using look-ahead. Theoretical Computer Science, 82, 165-176.


    • Leo, J. M. I. M. (2010). The Logical Structure of Relations.
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    No known ancillary activities