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-2021-17:
Nima Motamed Multivalued Coalgebraic Modal Logic for Multiagent Systems and Multiplayer Games
MoL-2021-16:
Maximilian Siemers Hyperintensional Logics for Evidence, Knowledge and Belief
MoL-2021-15:
Ezra Schoen Relation Lifting and Coalgebraic Logic
MoL-2021-14:
Matteo Michelini When Being the Fifth Wheel Pays Off: Wisdom of the Crowds with Costly Information
MoL-2021-13:
John Fergus William Smiles Learning Deterministic Finite Automata with Signed Examples: An Investigation into the Role of Entropy in Optimal Model Selection
MoL-2021-12:
Mateo C. Jaramillo Epistemic Logics for Cryptographic Protocols and Zero-Knowledge Proofs
MoL-2021-11:
Lorenzo Pinton You may like or dislike this thesis, and I do care which.
An inquiry into sluicing and free choice
MoL-2021-10:
Leyla Ade Iterative Goal-Based Voting
MoL-2021-09:
Jason Tsiaxiras Strategic Voting under Incomplete Information in Approval-Based Committee Elections
MoL-2021-08:
Simon Dominik Vonlanthen Natural Language and Logical Consequence: An Inferentialist Account