 |
Bayart Arnould
Correction de la logique modale du premier et du second ordre S5
Translation by M.J. Cresswell: The Soundness of First and Second Order S5 Modal Logic |
| |
|
|
Bayart Arnould
Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5
Translation by M.J. Cresswell: Quasi-Completeness of Second-Order Modal Logic S5 and Completeness of First-Order S5 |
| |
|
|
Coret Jean – paper translated by Thomas Forster
On the Stratified Instances of the Replacement Scheme |
| |
|
|
Crabbé Marcel
Non-normalisation de ZF (Counterexample to normalisation for ZF), see Göran Sundholm: “Michael Dummett, Elements of Intuitionism”, page 93 |
| |
|
|
Cresswell M. J.
Arnould Bayart's Modal Completeness Theorems |
| |
|
|
Sheridan Flash
A Variant of Church’s Set Theory with a Universal Set in which the Singleton Function is a Set |
| |
|
Ph. Ds |
|
|
Hinnion Roland – translated by Thomas Forster
On Quine's Set Theory
ULB, 1974
|
| |
|
|
Libert Thierry
More Studies on the Axiom of Comprehension
ULB, 2004 |
| |
|
|
Lowenthal Francis Didier
The Minimal Pair
Problem for Higher Type Objects
MIT, 1974 |
| |
|
|
Pétry André
Sur les cardinaux dans les New Foundations de Quine
ULg, 1976
|
| |
|
|
Sart Frédéric
Éléments de logique aléthico-déontique
Nantes, 2000 |
| |
|
CNRL/NCNL Prize Winning Master Dissertations |
|
Berteloot Mathieu
Een naturalistische verklaring voor logische geldigheid en de rationalistische kritiek |
| |
|
|
Brouette Quentin
Groupes définissables dans les structures o-minimales et groupes de Lie |
| |
|
|
De Bondt Ben
Sets, Trees and Incompleteness |
| |
|
|
De Coninck Tim
An Investigation into the Role of Quantifiers in Deontic Logics |
| |
|
|
De Vuyst Jonas
On Indexicals and Contexts. An Inquiry into Modal Logic and Artificial Agents
|
| |
|
|
Hiernaux Quentin
Étude des relations métaphysiques entre la logique modale et la philosophie des sciences : la logique des noms propres de Saul Kripke et ses implications épistémologiques et nomologiques dans les sciences du vivant |
|
|
|
Kouptchinsky Thibaut
On the limits of determinacy in third-order arithmetic and extensions of Kripke-Platek set theory : an introductive study of topics in reverse mathematics, constructibility and determinacy |
| |
|
|
Lehtonen Kimmo
Existence de corps
différentiellement
clos rigides
|
|
|
|
Regnault Nathalie
A Study about Hilbert's fifth problem for local groups |
| |
|
|
Van der Meeren Jeroen
Axiomatische Benaderingen van Niet-Standaard Analyse
|
| |
|
