-
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