| Distances Between Formal Theories M Khaled, G Székely, K Lefever, M Friend REVIEW OF SYMBOLIC LOGIC 13 (3), 633-654, 2020 | 14 | 2020 |
| Comparing classical and relativistic kinematics in first-order-logic K Lefever, G Székely Logique et Analyse 61 (241), 57-117, 2018 | 12 | 2018 |
| On generalization of definitional equivalence to non-disjoint languages K Lefever, G Székely Journal of Philosophical Logic 48, 709-729, 2019 | 10* | 2019 |
| Using Logical Interpretation and Definitional Equivalence to compare Classical Kinematics and Special Relativity Theory K Lefever PhD thesis, Vrije Universiteit Brussel, 2017 | 10 | 2017 |
| Logische en ontologische aspekten van ruimte en tijd in axiomatieken voor speciale relativiteitstheorie K Lefever master's thesis, Vrije Universiteit Brussel, 2004 | 3 | 2004 |
| A century of axiomatic systems for ordinal approaches to special relativity theory K Lefever Unknown, 2012 | 2 | 2012 |
| Interpretation of special relativity in the language of Newtonian kinematics K Lefever, G Székely Logic, Relativity and Beyond, 2nd International Conference, August, 2015 | 1 | 2015 |
| Entretien avec Ann Vanreusel à propos de l’écologie des fonds marins K Lefever | | 2022 |
| Interview met Ann Vanreusel over Ecologie van de Zeebodem K Lefever | | 2022 |
| Comparing classical and relativistic dynamics in terms of inelastical collisions K Lefever, G Székely Logic, Relativity and Beyond 4 th International Conference, 49, 2019 | | 2019 |
| Using methods from definability theory to compare scientific theories K Lefever | | 2018 |
| Égalité: Symbolen in de Logika en in de Vrijmetselarij K Lefever Laat ons niet ernstig blijven: Huldeboek voor Jean Paul Van Bendegem, 209-223, 2018 | | 2018 |
| Distances between Formal Theories M Khaled, G SZÉKELY, K Lefever, M FRIEND The Review of Symbolic Logic, 1-22, 2018 | | 2018 |
| Arts and Philosophy PhD day P Present, O Couder, K Lefever, R Moernaut, T Pieters, N Vinckier, ... | | 2017 |
| Interpreting the Axioms of Special Relativity as Theorems of Newtonian Kinematics K Lefever, G Székely | | |
| A comparison of ordinal axiomatic systems for the special theory of relativity K Lefever | | |
