Digitale Bibliotheek

Redactieraad

Van de redactie

• Bayart, Arnould
  Correction de la logique modale du premier et du second ordre S5 (1958)
  Traduction (en) par M.J. Creswell: 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 modal du premier ordre S5 (1959)
  Traduction (en) par M.J. Creswell: Quasi-completeness of Second Order Modal Logic S5 and Completeness of First Order S5


• Coret, Jean
  On the Stratified Instances of the Replacement Scheme (1970)
  Traduction (en) par Thomas Forster.


• Crabbé, Marcel
  Non-normalization de ZF (Counterexample to normalization for ZF) (1974)
  Voir Göran Sundholm, "Review of Michael Dummett, Elements of Intuitionism", p. 93.


• Creswell, M.J.
  Arnould Bayart's Modal Completeness Theorems (2011)
  Comprend Bayart (1958) and Bayart (1959).


• Sheridan, Flash
  A Variant of Church's Set Theory with a Universal Set in which the Singleton Function is a Set (2013)

Doctoraatsthesissen

• Hinnion, Roland
  On Quine's Set Theory
  ULB, 1974. Translation by Thomas Forster.


• Libert, Thierry
  More Studies on the Axiom of Comprehension
  ULB, 2004.


• Lowenthal, Francis Didier
  The Minal 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
  Elements de logique aléthico-deóntique
  Nantes, 2000.

Masterproeven bekroond met de prijs van het NCNL/CNRL

• Berteloot, Mathieu
  Een naturalistische verklaring voor logische geldigheidende rationalistische kritiek
  2018, ex-aequo


• Brouette, Quentin
  Groupes définissables dans les structures o-minimales et groupes de Lie
  2012, ex-aequo


• De Bondt, Ben
  Sets Trees and Incompleteness.
  2020


• De Coninck, Tim
  An Investigation into the Role of Quantifiers in Deontic Logics
  2018, ex-aequo


• De Vuyst, Jonas
  On Indexicals and Contexts: An Inquiry Into Modal Logic and Artificial Agents
  2011


• 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
  2014, ex-aequo


• Kouptchinsky, Thibaut
  On the limits of determinacy in third-order arithmetic and extensions of Kripke-Platek set theory
  2024, ex-aequo


• Lehtonen, Kimmo
  Existence de corps différentiellement clos rigides
  2024, ex-aequo


• Regnault, Nathalie
  A study about Hilbert's fifth problem for local groups
  2014, ex-aequo


• Van der Meeren, Jeroen
  Axiomatische Benaderingen van Niet-Standaard Analyse
  2013, ex-aequo