Master of Logic / ILLC

Theses

MoL Theses 2016

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.

On the ILLC site you may find a full list of ILLC research reports and dissertations.

MoL-2016-13:
Daniil Frumin Weak Factorisation Systems in the Effective Topos.
1.Full Text, 2.Abstract.
MoL-2016-12:
Thom van Gessel Action Models in Inquisitive Logic.
1.Full Text, 2.Abstract.
MoL-2016-11:
Evan Marzion Closed Sets of Higher-Order Functions.
1.Full Text, 2.Abstract.
MoL-2016-10:
Philip W.B. Michgelsen Genetic-Algorithmic Optimisation for School-Allocation Mechanisms: A Study of Amsterdam's Student to High-School Allocation Problem.
1.Full Text, 2.Abstract.
MoL-2016-09:
Sander in 't Veld Temporal Logics, Automata and the Modal $\mu$-Calculus.
1.Full Text, 2.Abstract.
MoL-2016-08:
Philip W.B. Michgelsen Genetic-Algorithmic Optimisation for School-Allocation Mechanisms: A Study of Amsterdam's Student to High-School Allocation Problem.
1.Full Text, 2.Abstract.
MoL-2016-07:
Christopher Badura Truth in Fiction via Non-Standard Belief Revision.
1.Full Text, 2.Abstract.
MoL-2016-06:
Thomas Santoli Logics for Compact Hausdorff Spaces via de Vries Duality.
1.Full Text, 2.Abstract.
MoL-2016-05:
Yfke Dulek Quantum Homomorphic Encryption for Polynomial-Sized Circuits.
1.Full Text, 2.Abstract.
MoL-2016-04:
Rick Bellaar Understanding Schizophrenia: A Wittgensteinian Response to Double-Bookkeeping.
1.Full Text, 2.Abstract.
MoL-2016-03:
Stephen Pastan Another Approach to Truthmaker Semantics.
1.Full Text, 2.Abstract.
MoL-2016-02:
Nikolas Nisidis A decompositional analysis of discourse relations.
1.Full Text, 2.Abstract.
MoL-2016-01:
Sarah Hiller Corrective Feedback in First Language Acquisition.
1.Full Text, 2.Abstract.