Master of Logic / ILLC

Theses

MoL Theses 2015

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-2015-13:
Lorenzo Galeotti Computable Analysis Over the Generalized Baire Space.
1.Full Text, 2.Abstract.
MoL-2015-12:
Frank Feys Fourier Analysis for Social Choice.
1.Full Text, 2.Abstract.
MoL-2015-11:
Moritz Bäumel 'On Certainty' and Formal Epistemology.
1.Full Text, 2.Abstract.
MoL-2015-10:
Bill Noble All together now... This time with meaning: A hierarchical lexicon for semantic coordination.
1.Full Text, 2.Abstract.
MoL-2015-09:
Tingxiang Zou Filtered Order-partial Combinatory Algebras and Classical Realizability.
1.Full Text, 2.Abstract.
MoL-2015-08:
Jonathan Mallinson Modelling Syntactic and Semantic Tasks with Linguistically Enriched Recursive Neural Networks.
1.Full Text, 2.Abstract.
MoL-2015-07:
Babette Paping A game theoretic approach to cost allocation in the Dutch electricity grid.
1.Full Text, 2.Abstract.
MoL-2015-06:
Johannes Emerich Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch.
1.Full Text, 2.Abstract.
MoL-2015-05:
Roosmarijn Goldbach Modelling Democratic Deliberation.
1.Full Text, 2.Abstract.
MoL-2015-04:
Sanne Kosterman Learning in Games through Social Networks.
1.Full Text, 2.Abstract.
MoL-2015-03:
Maša Močnik Slovenian Perfective and Imperfective Explicit Performative Utterances.
1.Full Text, 2.Abstract.
MoL-2015-02:
Ignas Vyšniauskas πdist: Towards a Typed π-calculus for Distributed Programming Languages.
1.Full Text, 2.Abstract.
MoL-2015-01:
Jouke E. Witteveen Structural Parameterized Complexity.
1.Full Text, 2.Abstract.