-
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
