International peer-reviewed publications
Distances between formal theories
- Mohamed Khaled, Gergely Székely, Koen Lefever and Michèle Friend
- Published in The Review of Symbolic Logic, Volume 14 Issue 3 pages 633-654, September 2020 (online 04 October 2019)
- DOI: 10.1017/S1755020319000558
- Preprint:
- Cited in:
- Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics by Lloyd Humberstone and Steven T. Kuhn in Notre Dame Journal of Formal Logic. Volume: 63. Issue: 4. (2022)
- In the Footsteps of Hilbert: The Andréka-Németi Group's Logical Foundations of Theories in Physics by Giambattista Formica and Michèle Friend in: Hajnal Andréka and István Németi on Unity of Science, editors: Judit Madarász and Gergely Székely (2021)
- Algebras of Concepts and Their Networks by Mohamed Khaled and Gergely Székely (2021)
- Two-variable logic has weak, but not strong, Beth definability (arXiv:2010.00901) by Hajnal Andréka & István Németi (2020)
- One-Shot Induction of Generalized Logical Concepts via Human Guidance (arXiv:1912.07060) by Mayukh Das, Nandini Ramanan, Janardhan Rao Doppa & Sriraam Natarajan (2019)
- Human-Allied Efficient and Effective Learning in Noisy Domains by Mayukh Das (2019)
On Generalization of Definitional Equivalence to Non-Disjoint Languages
- Koen Lefever and Gergely Székely
- Published by the Journal of Philosophical Logic, Volume 48 Issue 4 pages 709-729, 30 August 2019, Print ISSN: 0022-3611 (Online ISSN: 1573-0433, First Online: 24 October 2018)
- DOI: 10.1007/s10992-018-9491-0
- Postprint (PDF): post-peer-review, pre-copyedit version
- Preprint:
- Cited in:
- Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics by Lloyd Humberstone and Steven T. Kuhn in Notre Dame Journal of Formal Logic. Volume: 63. Issue: 4. (2022)
- Testing definitional equivalence of theories via automorphism groups by Hajnal Andréka, István Németi, Judit Madarász and Gergely Székely (2022)
- Theoretical Equivalence in Physics by James Owen Weatherall (2018)
- Why Not Categorical Equivalence by James Owen Weatherall (2018)
Comparing Classical And Relativistic Kinematics In First-Order Logic
- Koen Lefever and Gergely Székely
- Published in Logique et Analyse, ISSN: 2295-5836, p. 57-117, Vol 61, Nº 241 (2018)
- DOI: 10.2143/LEA.241.0.3275105
- Preprint:
- Cited in:
- In the Footsteps of Hilbert: The Andréka-Németi Group's Logical Foundations of Theories in Physics by Giambattista Formica and Michèle Friend in: Hajnal Andréka and István Németi on Unity of Science, editors: Judit Madarász and Gergely Székely (2021)
- Algebras of Concepts and Their Networks by Mohamed Khaled and Gergely Székely (2021)
- Theoretical Equivalence in Physics by James Owen Weatherall (2019)
- Definable Categorical Equivalence by Laurenz Hudetz (2018)
Non-peer-reviewed publications
Interview met Ann Vanreusel over ecologie van de zeebodem - Entretien avec Ann Vanreusel à propos de l’écologie des fonds marins
- Koen Lefever
- Interview with Prof. Dr. Ann Vanreusel (Marine Biology, Ghent University) on seabed ecology
- Published in Science Connection 68, pages 23-26, June-October 2022
- Download PDF:
- Dutch version, ISSN 1780-8448
- French version, ISSN 1780-8456
Book chapter
Égalité: Symbolen in de Logika en in de Vrijmetselarij
(Equality: Symbols in Logic and in Freemasonry)
- Koen Lefever
- Published in: Bart Van Kerkhove, Karen François, Steffen Ducheyne, and Patrick Allo (editors) "Laat ons niet ernstig blijven ∞ Huldeboek voor Jean Paul Van Bendegem" (Liber amicorum for Prof. Dr. Em. Jean Paul Van Bendegem), pp. 209-223, Academia Press, Ghent (2018)
- ISBN: 978 94 014 5589 3
- Download PDF (in Dutch)
PhD Dissertation
Using Logical Interpretation and Definitional Equivalence to Compare Classical Kinematics and Special Relativity Theory
- Koen Lefever
- Vrije Universiteit Brussel (2017)
- Supervisors: prof. dr. Jean Paul Van Bendegem and dr. Gergely Székely
- Download dissertation as PDF
- Cited in:
- Investigations of isotropy and homogeneity of spacetime in first-order logic by Judit X. Madarász, Mike Stannett and Gergely Székely in Annals of Pure and Applied Logic, Volume 173, Issue 9, October–November 2022
- In the Footsteps of Hilbert: The Andréka-Németi Group's Logical Foundations of Theories in Physics by Giambattista Formica and Michèle Friend in: Hajnal Andréka and István Németi on Unity of Science, editors: Judit Madarász and Gergely Székely (2021)
- Mathematical Theories as Models by Michèle Friend in: Humanizing Mathematics and its Philosophy; Essays Celebrating the 90th Birthday of Reuben Hersh, editor: Baharath Sriraman, Birkhäuser (2017)
Master's Thesis
Logische en ontologische aspekten van ruimte en tijd in axiomatieken voor de speciale relativiteitstheorie
(Logical and ontological aspects of space and time in axiom systems for special relativity theory)
- Koen Lefever
- Vrije Universiteit Brussel (2004)
- Supervisor: prof. dr. Jean Paul Van Bendegem
- Download PDF (in Dutch)
