Projects in Previous Years

This is a record of January-June projects offered in previous years in the Master of Logic programme. The latest offerings are available here.

1st Semester 2023/24

Forcing and Independence Proofs (Yurii Khomskii, 6EC)
Meaning: compositionality and beyond (Marieke Schouwstra, 6EC)
Meta-Complexity (Ronald de Haan, Noel Arteche, 6EC)
Natural Logic (Larry Moss, Sonja Smets (Responsible), 6EC)
On the Equivalence of Scientific Theories (Sebastian De Haro)
Philosophical Foundations of Explanation (Dean McHugh, 6EC)
Topology in and via Logic (Amity Aharoni, Rodrigo N. Almeida, Nick Bezhanishvili (Responsible), Soren B. Knudstorp, 6EC)
Towards PDL Interpolation in Lean 4 (Malvin Gattinger, Valentina Trucco Dalmas, 6EC)

2nd Semester 2022/23

Iconicity, meaning, and language (Marieke Schouwstra, 6EC)
Meaning-to-text generation with GPT (Jonas Groschwitz, 6EC)
Proof theory for Modal and Non-Classical Logics (Marianna Girlando, 6EC)
The Algebra of Logic (Tommaso Moraschini (University of Barcelona) and Nick Bezhanishvili, 6EC)

1st Semester 2022/23

Deflationism about truth (dr. Thomas Schindler, 6EC)
Forcing and Independence Proofs (Yurii Khomskii, 6EC)
Formalization and evaluation of memory-based listening experiments (David J. Baker / Henkjan Honing, 6EC)
Polar questions across languages (Beste Kamali, 6EC)
Quantum Bootcamp (Maris Ozols, 6EC)
Topology in and via Logic (Rodrigo N. Almeida, Nick Bezhanishvili, Soren B. Knudstorp, 6EC)

2nd Semester 2021/22

# The Wisdom of Crowds: Jury Theorems, Information Cascades, and All That (Adrian Haret, 6EC)
Argument-checking: Computational analysis of natural arguments (Federica Russo and Jean Wagemans, 6EC)
Automated Planning with Temporal Logic Goals (Gregor Behnke, 6EC)
Fairness in Multiwinner Elections (Julian Chingoma, Jan Maly and Simon Rey, 6EC)
Formalizing and Proving Theorems in Coq (Tobias Kappé, 6EC)
Logic as practice (Michiel van Lambalgen, Martin Stokhof, 6EC)
Philosophy of information and the P vs NP problem (Pieter Adriaans, Daan van den Berg, 6EC)
Philosophy of Logic: Logical Pluralism (Robert Passmann, 6EC)
Quantum Cryptography (Christian Schaffner, Florian Speelman, 6EC)
Transfinite Computability (Yurii Khomskii and Lorenzo Galeotti, 6EC)

1st Semester 2021/22

Dialogue Modelling (Raquel Fernández (TA: Mario Giulianelli), 6EC)
Evolutionary origins of compositionality (Marieke Schouwstra, 6EC)
Functional Programming for Logicians (Malvin Gattinger, 6EC)
Kleene Algebra (Tobias Kappé, 6EC)
Team Semantics and Dependence: Linguistic and Philosophical Applications. (Marco Degano, Maria Aloni, 6EC)
What makes logics (un)decidable? (Balder ten Cate, 6EC)

2nd Semester 2020/21

Computational Philosophy (Arianna Betti & Yvette Oorwijn, 6EC)
How to conduct a Structured Literature Review? (Sally A.M. Hogenboom, 6EC)
Parameterized Complexity Theory and its Applications to Social Choice (Simon Rey and Ronald de Haan, 6EC)
Reading Tractatus (Hao Tang (Tsinghua University), Martin Stokhof, 3EC)
The Algebra of Logic (Nick Bezhanishvili and Tommaso Moraschini, 6EC)

1st Semester 2020/21

Evolutionary origins of compositionality (Marieke Schouwstra, 6EC)
Introduction to Philosophy of Information (Pieter Adriaans, 6EC)
Measuring Alignment in Dialogue (Arabella Sinclair, 6EC)
Preference Extensions in Social Choice: Ranking Outcomes With Ties (Sirin Botan, 6EC)
Set Theory: Forcing and Independence Proofs (Yurii Khomskii, 6EC)

2nd Semester 2019/20

Algebraic Logic (Tommaso Moraschini [local responsible: Nick Bezhanishvili], 6EC)
Behavioral experiments and open science workshop (Patricia Mirabile, 6EC)
Condorcet's Jury Theorem and Its Variations (Adrian Haret, 6EC)
Language and Game Theory (Giorgio Sbardolini, 6EC)
Logics of Sense and Reference (Reinhard Muskens, 6EC)
Non-Normal Epistemic Logics (Aybüke Özgün, 6EC)

1st Semester 2019/20

Epistemology of Modality (Tom Schoonen, 6EC)
Experimental investigations into the semantics of quantifiers (Sonia Ramotowska and Jakub Szymanik, 6EC)
Hypothetical Reasoning: its development and impact (Dean McHugh, 6EC)
Language complexity: From part to whole (Tom Lentz, Jan Hulstijn, 6EC)
Minimalism about Truth (Thomas Schindler and Julian Schlöder, 6EC)
Non-monotonic and Conditional Logic (Johannes Marti, 6EC)
Selected Topics in Set Theory (Yurii Khomskii, 6EC)

2nd Semester 2018/19

Advanced Topics in Computational Social Choice (Suzanne Bloks, Arthur Boixel, Sirin Botan, Ulle Endriss, and Zoi Terzopoulou, 6EC)
Computational Approaches to the History and Philosophy of Mathematics. (Dr. Hein van den Berg & Dr. Annapaola Ginammi, 6EC)
Elements of Universal Algebra (Frederik Lauridsen, 6EC)
Logic Programming and Learning (Ronald de Haan, Levin Hornischer, 6EC)
Research topics in set theory (Yurii Khomskii, 6EC)

1st Semester 2018/19

Advanced Topics in Set Theory (Yurii Khomskii, 6EC)
Computer Assisted Homotopy Type Theory in Agda (Andrew Swan, 6EC)
Grammatical models for musical harmony (John Ashley Burgoyne, 6EC)
Introduction to Philosophy of Information (Pieter Adriaans, 6EC)
Reasoning in autism spectrum disorders (ASD) (Michiel van Lambalgen and Levin Hornischer, 6EC)
Semantic drift in multilingual representations (Lisa Beinborn, 6EC)

2nd Semester 2017/18

Advanced Topics in Set Theory (Yurii Khomskii, 6EC)
Distributional Semantics for Philosophy (Jelke Bloem, 6EC)
Experimental methods for semantics and pragmatics (Arnold Kochari, 6EC)
Foundational Issues in Conceptual Engineering (FICE) (Manuel Gustavo Isaac, 6EC)
Functional Programming for Logicians (Malvin Gattinger and Jana Wagemaker, 6EC)
Judgment Aggregation in Computational Social Choice (Sirin Botan and Zoi Terzopoulou, 6EC)
Quantum Cryptography (Christian Schaffner, Yfke Dulek and Jan Czajkowski, 6EC)
Realizability Semantics for Intuitionistic Theories (Andrew Swan, 6EC)
Reasoning in Social Context (Alexandru Baltag, Aybuke Ozgun, Sonja Smets, 6EC)

1st Semester 2017/18

Alternative Set Theories (Y. Khomskii, 6EC)
Arguing about Knowledge in Ancient China (F. Liu, 6EC)
Barbara Partee (workshop and students sessions) (M. Aloni, 2EC)
Formal pragmatics (J. Schloeder, 6EC)
Learning Compositionality in Neural Networks (E. Bruni, G. Cinà and D. Hupkes, 6EC)
Neural network methods for quantifiers (S. Steinert-Threlkeld, 6EC)
On information structure (T. Lentz, 6EC)
Philosophical foundations of distributional semantics (A. Betti, 6EC)
Philosophy and Mathematics in Bernard Bolzano (A. Betti, 6EC)
Pragmatic reasoning on vague semantics (A. Cremers, 6EC)
Stone duality in logic and computer science (S. van Gool, 6EC)

2nd Semester 2016/17

Frame-based Bayesian Interpretation of Natural Language (H. Zeevat, 6EC)
Incremental interpretation of anaphoric relations (J. Dotlacil, 6EC)
Quantum Cryptography (C. Schaffner, Y. Dulek & J. Czajkowski, 6EC)
Seminars in Set Theory (L. Galeotti and Y. Khomskii, 6EC)
Truth theories and their strength (C. Cieslinski (Warsaw), 2EC)

1st Semester 2016/17

Computational Complexity Analysis of Logic Problems (R. de Haan, 6EC)
Experimenting with Free Choice (A. Cremers, 6EC)
Language & Games (T. Brochhagen and R.van Rooij, 6EC)
Measuring information in very large data sets (P. Adriaans, 6EC)

2nd Semester 2015/16

Definability and Complexity of Counting Logics (A. Dawar (Cambridge), 2EC)
Game-Theoretic Probability (W. Koolen (CWI), 6EC)
Information Retrieval (M. Dehghani, 6EC)
Measurable Cardinals (L. Galeotti and H. Nobrega, 6EC)
Neighborhood Semantics for Modal Logic (E. Pacuit (Maryland), 6EC)
Probabilistic Logics and Probabilistic Inference (S. Rafiee Rad, 6EC)
Semantics and Pragmatics in Bayesian Interpretation (H. Zeevat, 6EC)

1st Semester 2015/16

Contrary-to-Duty Obligations (R. Ciuni, 6EC)
Genetic Programming (J. van Eijck, 6EC)
Quantum Logic (S. Rafiee Rad, 6EC)
Social Networks and Games (J. van Benthem and F. Lui, 6EC)
Suppositional Inquisitive semantics and dialogue pragmatics (J. Groenendijk, 6EC)

2nd Semester 2014/15

Inductive Logic and Uncertain Reasoning (S. Rafiee Rad, 6EC)
Introduction to Category Theory (G. Ciná and J. Ilin, 6EC)
Introduction to STIT Logic (R. Ciuni, 6EC)
Monte Carlo Inference for Probabilistic Context-free Grammars (W. Aziz and M. Stanojević, 6EC)

1st Semester 2014/15

Imperative Programming with Python (F. Carreiro, 6EC)
Introduction to Forcing (H. Nobrega, 6EC)
Introduction to Statistical Learning Theory (M. Madsen, 6EC)
Philosophy of Mathematics (L. Incurvati, 6EC)
Quantum Logic (J. Sack, 6EC)
Zero-Knowledge Proofs (M. Zwart, S. van Wijk, and C. Schaffner, 3EC)

2nd Semester 2013/14

Coherence (B. Fitelson, 6EC)
Homotopy Type Theory (B. van den Berg, 6EC)
Moral Dilemmas and Verbal Protocol Analysis (G.-J. Munneke, 6EC)

1st Semester 2013/14

Computational Complexity in Philosophy and Cognitive Science (J. Szymanik, 6EC)
Duality Theory (L. Spada, 6EC)
Information Theory: Codebreaking, Gambling, Inference (M. Madsen, 6EC)
Many-Sorted Logic (J. V&aumlänänen, 2/6 EC)

2nd Semester 2012/13

Algebraic Modal Logic (S. Sourabh, 6EC)
Collective Annotation of Linguistic Resources (U. Endriss and R. Fernández, 6EC)
Temporal Logic (B. Renne and J. Sack, 6EC)
Vagueness and the Liar: Towards a New Uniform Solution (P. Cobreros and R. van Rooij, 3EC)

1st Semester 2012/13

Complexity of Complex Networks (P. Bloem and L. Torenvliet, 6EC)
Dependence Logic (J. V&aumlänänen, 2/6 EC)
Implementing Basic Voting Theory (J. van Eijck, 6EC)
Social Dynamics of Information and its Distortions (A. Baltag, 6EC)

2nd Semester 2011/12

Category Theory (K. Kishida and S. Sourabh, 6EC)
Justification Logic (B. Renne, 6EC)
Negative Polarity Items of the 'Much' Class (S. Solt, 6EC)
The Haskell Road to Logic, Maths and Programming (J. van Eijck, 6EC)

1st Semester 2011/12

Imperative Programming with Python (F. Carreiro, 6EC)
Logical Compositionality in Geometric Models of Meaning (R. Blutner, 6EC)
Pitch Classes, Pitch Class Sets and Pitch Class Set Theory (A. Honingh, 6EC)
Production and Interpretation of Natural Language (H. Zeevat, 3EC)
Purely Functional Algorithm Specification (J. van Eijck, 6EC)

2nd Semester 2010/11

Interpretability and Incompleteness (D. de Jongh and A. Visser, 6EC)
Machine Learning of Compositional Semantics (J. Zuidema, 6EC)
On the Beat (or not): Likelihood and Significance in Testing Models of Beat Induction (H. Honing, 6EC)
Programming in Prolog (U. Endriss, 3EC)
Uncertainty and Decisions: From Individual to Group Choice (S. Airiau and U. Grandi, 6EC)

1st Semester 2010/11

Assessing the Reliability of an Annotation Scheme for Indefinites (M. Aloni and R. Fernández, 6EC)
Dialogical Logic (S. Uckelman, 6EC)
From Category Theory to Implementation: A Behavioural Symmetry-Reduction Algorithm (V. Ciancia, 6EC)
Normative Foundations and Mathematical Modelling of Egalitarian and Utilitarian Welfare (D. Porello, 6EC)

2nd Semester 2009/10

Formal Models of Narrative Structure (E. Pacuit and B. Löwe, 6EC)
Profile Project AI-NLPL (T. Deoskar, 6EC)
Randomness and Computability II (G. Barmpalias, 6EC)
Topics in Quantum Cognition (R. Blutner, 6EC)
Vagueness, Reasoning, and Language (L. Zagan, 6EC)

1st Semester 2009/10

"Loud Rests": Formalizing and Extending the Notion of Syncopation (H. Honing, 6EC)
Algorithmic Randomness and Computability Theory (G. Barmpalias, 6EC)
Dynamic Epistemic Logic (D. Grossi and J. van Benthem, 6EC)
Empirically motivated logical representations in lexical semantics (G. Sassoon and R. Fernández, 6EC)
Formal and game-theoretic aspects of norms (S. Airiau and D. Grossi, 6EC)
Modal Syllogistics (S. Uckelman, 6EC)
Philosophical Aspects of Proof Theory (T. Achourioti, 6EC)

2nd Semester 2008/09

Discovering Natural Predicates (A. Mukerjee, 6EC)
Modern Classics in Social Choice Theory (S. Airiau, U. Endriss, U. Grandi, D. Porello, 6EC)
On the beat (or not) (H. Honing, 6EC)
Singularizing Successive Cardinals (I. Dimitriou, 6EC)
Speech Technology Project (D. Weenink, 6EC)

1st Semester 2008/09

Groups, Rings and Fields for Non-Mathematicians (P. van Emde Boas, 6EC)
Indefinites and Beyond (M. Aloni, K. Schulz, A. Port, 6EC)
Interacting agents processing information (C. Dégremont, N. Gierasimczuk, L. Kurzen, J. Szymanik, 6EC)
Language Technology Project (M. de Rijke, 6EC)
Rudiments of Category Theory (R. Leal, 6EC)
Towards a Rational Foundation of Some Puzzles of Bounded Rationality (R. Blutner, 6EC)

2nd Semester 2007/08

Completeness for the Modal μ-Calculus (G. Fontaine, D. Ikegami, Y. Venema, 6EC)
Formal Models and Ethics (J. Zvesper, 6EC)
Speech Technology Project (R. van Son: 6 ECTS)
Syntax in Optimality Theory (H. Zeevat, 6EC)

1st Semester 2007/08

Formal models for sophisms (S. Uckelman, 6EC)
Language Technology Project (M. de Rijke, V. Jijkoun, 6EC)
Music Cognition & Logic: Can they learn from each other? (O. Ladinig, C. Dégremont, 6EC)
Pointless Topology (R. Leal, 6EC)
Reasoning, Games, Action and Rationality (O. Roy, 6EC)

2nd Semester 2006/07

Compact Preference Representation (J. Uckelman, 6EC)
Infinitary Computation (J. Hamkins, 6EC)
Speech Technology Project (R. van Son, 6EC)
Topics in Complexity Theory (L. Torenvliet, 6EC)
Translating Between Logics (T. Janssen, 6EC)

1st Semester 2006/07

Basics of Logic Programming (S. Ghosh, 6EC)
Generalized Quantifiers: Their complexity and difficulty (J. Szymanik, 6EC)
Language Technology Project (M. de Rijke, 6EC)
Preference Representation and Interactive Epistemology (O. Roy, 6EC)
Scholarly Writing for Historical Logic (S. Uckelman, B. Loewe, 6EC)

2nd Semester 2005/06

Nonmonotonic Reasoning (S. Ghosh, 6EC)
Speech Technology Project (R. van Son, 6EC)
Topics in medieval logic (B. Loewe, S. Uckelman, 6EC)
Topics on formal modelling of spoken language (B. Schroeder, 6EC)

1st Semester 2005/06

Intuitionistic Logic (N. Bezhanishvili, 6EC)
Language Technology Project (M. de Rijke, 6EC)
Neighbourhood Models (E.Pacuit, 6EC)
Topics in Ancient and Medieval Logic (B. Loewe, S. Uckelman, 6EC)

2nd Semester 2004/05

CiE 2005: New Computational Paradigms (B. Loewe, 2EC)
Non-wellfounded sets (B. Loewe, M. Martinez, F. Nauze, 6EC)
Speech Technology Project (R.van Son, 6EC)
Surreal Numbers (J. Hamkins, 6EC)
Underspecification in syntax and semantics (B. Schroeder, 6EC)

1st Semester 2004/05

Algebraic and Intuitionistic Logic (B.Löwe, N.Bezhanishvili, 6EC)
Information Flow (M.Martínez, 6EC)
Language Technology Project (M.de Rijke, K.Müller, E.F.Tjong Kim Sang)

2nd Semester 2003/04

A Dynamic Approach to Mood and Modality (F.Veltman, 6EC)
Evaluation of CTL model representations for simple XPath queries (S.Schlobach, 6EC)
Interactive Visual Environments for DFA Induction (P.Adriaans, 6EC)
Project: Computational Complexity (P.van Emde Boas, L.Torenvliet, 6EC)
Reclose and Reopen (V.van Oostrom, A.Visser, 6EC)
Speech Technology Project (H.Zeevat, 6EC)

1st Semester 2003/04

Categories of Interpretations (A. Visser, 4EC)
Language Technology Project (M. de Rijke, 6EC)
Philosophy of Mind/Cognitive Science in David Lodge's Novel "Thinks..." (B. Loewe, 3EC)
Reclose and Reopen (V. van Oostrom, A. Visser, 6EC)

Quick Links