1. 2020
  2. Distances between formal theories

    Khaled, M., Székely, G., Lefever, K. & Friend, M., Sep 2020, In : Review of Symbolic Logic. 13, 3, p. 633-654 21 p.

    Research output: Contribution to journalArticle

  3. 2019
  4. On Generalization of Definitional Equivalence to Non-Disjoint Languages

    Lefever, K. & Székely, G., 15 Aug 2019, In : Journal of Philosophical Logic. 48, 4, p. 709-729 21 p.

    Research output: Contribution to journalArticle

  5. 2018
  6. Égalité: Symbolen in de Logika en in de Vrijmetselarij

    Lefever, K., 20 Sep 2018, Laat ons niet ernstig blijven: Huldeboek voor Jean Paul Van Bendegem. Van Kerkhove, B., François, K., Ducheyne, S. & Allo, P. (eds.). Ghent: Academia Press, p. 209-223 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Comparing Classical And Relativistic Kinematics In First-Order Logic

    Lefever, K. & Székely, G., Mar 2018, In : Logique et Analyse. 61, 241, p. 57-117 61 p.

    Research output: Contribution to journalArticle

  8. 2012
  9. A century of axiomatic systems for ordinal approaches to Special Relativity Theory

    Lefever, K., 11 Sep 2012, Unknown.

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)

ID: 166455