ILLC Publications, All Series, 2021

MoL-2021-01:
Lukas Zenger Proof theory for fragments of the modal mu-calculus
MoL-2021-02:
Wijnand Koen van Woerkom Algebraic models of type theory
MoL-2021-03:
Aleksi Anttila The Logic of Free Choice Axiomatizations of State-based Modal Logics
MoL-2021-04:
Daniël Louwrink A Separation Logic for Stacked Borrows
MoL-2021-05:
Damiano Fornasiere Representable Forests and Diamond Systems
MoL-2021-06:
Giovanni Varricchione Complexity of Locally Fair Allocations on Graphs
MoL-2021-07:
David Joël de Graaf "A partition calculus in set theory" by Erdös and Rado for readers from the twenty-first century
MoL-2021-08:
Simon Dominik Vonlanthen Natural Language and Logical Consequence: An Inferentialist Account
MoL-2021-09:
Jason Tsiaxiras Strategic Voting under Incomplete Information in Approval-Based Committee Elections
MoL-2021-10:
Leyla Ade Iterative Goal-Based Voting
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-12:
Mateo C. Jaramillo Epistemic Logics for Cryptographic Protocols and Zero-Knowledge Proofs
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-14:
Matteo Michelini When Being the Fifth Wheel Pays Off: Wisdom of the Crowds with Costly Information
MoL-2021-15:
Ezra Schoen Relation Lifting and Coalgebraic Logic
MoL-2021-16:
Maximilian Siemers Hyperintensional Logics for Evidence, Knowledge and Belief
MoL-2021-17:
Nima Motamed Multivalued Coalgebraic Modal Logic for Multiagent Systems and Multiplayer Games
MoL-2021-18:
Anna Dmitrieva Positive modal logic beyond distributivity: duality, preservation and completeness
MoL-2021-19:
Dominik Wehr An Abstract Framework for the Analysis of Cyclic Derivations
MoL-2021-20:
Quentin Gougeon The Expressive Power of Derivational Modal Logic
MoL-2021-21:
Terence Hui A Compositional Analysis of Dependence Statements
PP-2021-01:
Merlin Carl, Lorenzo Galeotti, Robert Passmann Randomising Realisability
PP-2021-02:
Johan van Benthem Relational Patterns, Partiality, and Set Lifting in Modal Semantics
PP-2021-03:
Johan van Benthem An Abstract Look at the Fixed-Point Theorem for Provability Logic
PP-2021-04:
Johan van Benthem Lof der Onmogelijkheid
PP-2021-05:
Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini, Michal Stronkowski Profiniteness and representability of spectra of Heyting algebras
PP-2021-06:
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot A coalgebraic approach to dualities for neighbourhood frames
PP-2021-07:
Alexandru Baltag, Nick Bezhanishvili, David Fernandez Duque The topological mu-calculus: completeness and decidability
PP-2021-09:
Rasyan Ahmed, Willem Zuidema, Tom Lentz Modelling EEG responses to spoken narration
PP-2021-10:
Johan van Benthem, Thomas Icard Interfacing Logic and Counting
X-2021-01:
Dominik Wehr Aczel's Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory