Research output per year
Research output per year
Personal profile
External positions
Programme Manager, Federaal Wetenschapsbeleid (FOD) - BELSPO
10 Feb 2019 → …
Keywords
- free keyword
- Logic
Fingerprint
Dive into the research topics where Koen Lefever is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
On variable non-dependence of first-order formulas
Lefever, K. & Székely, G., 28 Jan 2025, p. 1-24, 24 p.Research output: Working paper › Preprint
File1 Downloads (Pure) -
Entretien avec Ann Vanreusel à propos de l’écologie des fonds marins
Translated title of the contribution :Interview with Ann Vanreusel on the ecology of the seabed Research output: Contribution to specialist/vulgarizing publication › Article › Vulgarizing
Open AccessFile5 Downloads (Pure) -
Interview met Ann Vanreusel over Ecologie van de Zeebodem
Translated title of the contribution :Interview with Ann Vanreusel on Ecology of the Seabed Research output: Contribution to specialist/vulgarizing publication › Article › Vulgarizing
Open AccessFile6 Downloads (Pure) -
Distances between formal theories
Khaled, M., Székely, G., Lefever, K. & Friend, M., Sept 2020, In: Review of Symbolic Logic. 13, 3, p. 633-654 21 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile6 Citations (Scopus)83 Downloads (Pure) -
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 journal › Article › peer-review
8 Citations (Scopus)
Prizes
Activities
-
Belgian priorities for European marine research
Koen Lefever (Speaker)
11 Jun 2024Activity: Talk or presentation › Talk or presentation at a workshop/seminar
-
JPI Oceans Strategic Navigation Forum
Koen Lefever (Member of programme committee)
11 Jun 2024Activity: Participating in or organising an event › Participation in workshop, seminar
-
Belgian Federal Marine Science Policy
Koen Lefever (Speaker)
4 Jun 2024 → 5 Jun 2024Activity: Talk or presentation › Talk or presentation at a conference
-
Belgian Marine Science Policy: an Interdisciplinary Approach in an International Context
Koen Lefever (Speaker)
26 Apr 2024Activity: Talk or presentation › Talk or presentation at a conference
-
Comparing Theories in First Order Logic
Koen Lefever (Speaker)
25 May 2023Activity: Talk or presentation › Talk or presentation at a workshop/seminar
Thesis
-
Logische en ontologische aspekten van ruimte en tijd in axiomatieken voor de speciale relativiteitstheorie
Author: Lefever, K., 2004Supervisor: Van Bendegem, J. P. (Promotor)
Student thesis: Master's Thesis
-
Using Logical Interpretation and Definitional Equivalence to Compare Classical Kinematics and Special Relativity Theory
Author: Lefever, K., 26 May 2017Supervisor: Van Bendegem, J. P. (Promotor) & Szekely, G. (External person) (Promotor)
Student thesis: Doctoral Thesis
File