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