Theses

Master of Logic / ILLC


Recent Theses

On the ILLC site you may find a full list of ILLC research reports and dissertations. Additionally, the electronic archives may also be accessed by using the Search Form of the ILLC Eprints server.

MoL-2020-08:
Tex Aston Felix Schönlank Syntactic logical relations for System F with recursive types and call-by-name semantics
MoL-2020-07:
Angelica M. Hill The Only Thesis
MoL-2020-06:
Maëlle Havelange ‘White horse not horse’: An Analysis of Modern Interpretative Approaches to Kung-sun Lung’s White Horse Discourse
MoL-2020-05:
Teodor Tiberiu Călinoiu What Structural Objects Could Be: Mathematical Structuralism and its Prospects
MoL-2020-04:
Thijs Benjamins Locally finite varieties of Heyting algebras of width 2
MoL-2020-03:
Rachel Maden The nature of referential intentions
MoL-2020-02:
Cornets de Groot Sven Hugo Logical systems with left-sequential versions of NAND and XOR
MoL-2020-01:
Federico Schiaffino Memory, Time and Language:
A Mental Time Travel Model in a Narrative Discourse
MoL-2019-26:
Dimitrios Koutsoulis Lifschitz Realizability for Homotopy Type Theory
MoL-2019-25:
Davide Emilio Quadrellaro Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X