NCRL

Digital Library

Editorial Board

D. Batens (Gent), M. Crabbé (Louvain-la-Neuve), Ph. de Groote (Nancy), D. Dzierzgowski, T. E. Forster (Cambridge), R. Hinnion (Bruxelles), M. R. Holmes (Boise), B. Leclercq (Liège), Th. Lucas (Louvain-la-Neuve), J. Meheus (Gent), Chr. Michaux (Mons), A. Pétry (Liège), J. Riche (Louvain-la-Neuve), B. Van Kerkhove (Brussel), P. Verdée (Louvain-la-Neuve).

From the Editorial Board

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)

PhD theses

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.

Master's theses awarded by the NCRL prize

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