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-20:
Tom Schoonen Thinking the Impossible: Arguments for Impossible Worlds in Semantics.
1.Full Text, 2.Abstract.
MoL-2016-19:
Arianna Novaro Judgment Aggregation in Dynamic Logic of Propositional Assignments.
1.Full Text, 2.Abstract.
MoL-2016-18:
Eli Drumm Readtable-Macro Transducer-Chain Parsing.
1.Full Text, 2.Abstract.
MoL-2016-17:
Thomas Cattermole Paraconsistent Logics and Identity - a Pragmatic Approach.
1.Full Text, 2.Abstract.
MoL-2016-16:
Anna Bellomo Theories of size for infinite collections.
1.Full Text, 2.Abstract.
MoL-2016-15:
Benjamin Sparkes Inquisitive Conditional-Doxastic Logic.
1.Full Text, 2.Abstract.
MoL-2016-14:
Almudena Colacito Minimal and Subminimal Logic of Negation.
1.Full Text, 2.Abstract.
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:
Sirin Botan Propositional Opinion Diffusion with Constraints.
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.