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
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
X-2021-01:
Dominik Wehr Aczel's Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory