Electronic Publications and Digital Library

Editorial Board

puce

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

   
puce

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

   
puce

Coret Jean – paper translated by Thomas Forster
On the Stratified Instances of the Replacement Scheme

   
puce

Crabbé Marcel
Non-normalisation de ZF (Counterexample to normalisation for  ZF),  see Göran Sundholm: “Michael Dummett, Elements of Intuitionism”, page 93

   
puce

Cresswell M. J.
Arnould Bayart's Modal Completeness Theorems

   
puce

Sheridan Flash
A Variant of Church’s Set Theory with a Universal Set in which the Singleton Function is a Set

   

Ph. Ds

 
puce

Hinnion Roland – translated by Thomas Forster
On Quine's Set Theory
ULB, 1974

   
puce

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

   
puce

Lowenthal Francis Didier
The Minimal Pair Problem for Higher Type Objects
MIT, 1974

   
puce

Pétry André
Sur les cardinaux dans les New Foundations de Quine
ULg, 1976

   
puce

Sart Frédéric
Éléments de logique aléthico-déontique
Nantes, 2000

   

CNRL/NCNL Prize Winning Master Dissertations

puce

Berteloot Mathieu
Een naturalistische verklaring voor logische geldigheid en de rationalistische kritiek

   
puce

Brouette Quentin
Groupes définissables dans les structures o-minimales et groupes de Lie

   
puce

De Bondt Ben
Sets, Trees and Incompleteness

   
puce

De Coninck Tim
An Investigation into the Role of Quantifiers in Deontic Logics

   
puce

De Vuyst Jonas
On Indexicals and Contexts. An Inquiry into Modal Logic and Artificial Agents

   
puce

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

   
puce

Regnault Nathalie
A Study about Hilbert's fifth problem for local groups

   
puce

Van der Meeren Jeroen
Axiomatische Benaderingen van Niet-Standaard Analyse

   

 

May 26, 2021