About
11
Publications
1,303
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
61
Citations
Introduction
Koen Lefever is research programme manager at Belspo (Belgian Science Policy Office), responsible for marine and oceanographic sciences.
He is a research affiliate to the Centre for Logic and Philosophy of Science (CLPS) at the Vrije Universiteit Brussel, using methods from mathematical logic to study the foundations of theories in mathematics and physics. He often co-operates with the Algebraic Logic Group of the Alfréd Rényi Institute for Mathematics.
Additional affiliations
February 2019 - present

Position
- Research Programme Manager
Description
- Strategic management of oceanographic & marine research programmes for BRAIN-be: Belgian Research Action through Interdisciplinary Networks at BELSPO. Member of the managing board, general assembly or steering committee of: JPI Oceans, European Marine Board, European Marine Biology Resources Centre EMBRC-ERIC, Intergovernmental Oceanographic Commission IOC-UNESCO, Think Tank North Sea, and Belgian Working Group Scientific Diving.
January 2016 - September 2016
Education
September 2011 - May 2017
Publications
Publications (11)
In this paper, we introduce a concept of non-dependence of variables in formulas. A formula in first-order logic is non-dependent of a variable if the truth value of this formula does not depend on the value of that variable. This variable non-dependence can be subject to constraints on the value of some variables which appear in the formula, these...
For simplicity, most of the literature introduces the concept of definitional equivalence only for disjoint languages. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to non-disjoint languages and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that...
The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to t...
In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore connections) between formal theories. We define two main notions for such distances. A natural definition is t...
The aim of this dissertation is to present a new logic based understanding of the connection between special relativity and classical kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to...
Belgium has a federal science policy since 1895, which is currently executed by the Belgian Federal Ministry of Science Policy (BELSPO, Belgian Science Policy Office). For over a century, marine and oceanographic research has played an important role in this.
Since the sea borders several countries, this is by definition an international affair: B...
In the literature, there have been several methods and definitions for working out if two theories are ``equivalent'' (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore connections) between formal theories. We introduce two main notions for such distances. The first one is tha...
The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to t...
For simplicity, most of the literature introduces the concept of defini-tional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in gene...
For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in gener...
The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to t...