Number of items: **15**.

MoL-2021-03:
Anttila, Aleksi
(2021)
*The Logic of Free Choice Axiomatizations of State-based Modal Logics.*
[Report]

PP-2021-07:
Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David
(2021)
*The topological mu-calculus: completeness and decidability.*
[Pre-print]

PP-2021-05:
Bezhanishvili, Guram and Bezhanishvili, Nick and Moraschini, Tommaso and Stronkowski, Michal
(2021)
*Profiniteness and representability of spectra of Heyting algebras.*
[Pre-print]

PP-2021-06:
Bezhanishvili, Guram and Bezhanishvili, Nick and de Groot, Jim
(2021)
*A coalgebraic approach to dualities for neighbourhood frames.*
[Pre-print]

PP-2021-01:
Carl, Merlin and Galeotti, Lorenzo and Passmann, Robert
(2021)
*Randomising Realisability.*
[Pre-print]
(Submitted)

MoL-2021-05:
Fornasiere, Damiano
(2021)
*Representable Forests and Diamond Systems.*
[Report]

MoL-2021-04:
Louwrink, DaniĆ«l
(2021)
*A Separation Logic for Stacked Borrows.*
[Report]

DMP-2021-01:
Test, Tester
(2021)
*Test RMP/DMP document.*
[Report]

MoL-2021-06:
Varricchione, Giovanni
(2021)
*Complexity of Locally Fair Allocations on Graphs.*
[Report]

PP-2021-03:
van Benthem, Johan
(2021)
*An Abstract Look at the Fixed-Point Theorem for Provability Logic.*
[Pre-print]
(In Press)

PP-2021-04:
van Benthem, Johan
(2021)
*Lof der Onmogelijkheid.*
[Pre-print]
(In Press)

PP-2021-02:
van Benthem, Johan
(2021)
*Relational Patterns, Partiality, and Set Lifting in Modal Semantics.*
[Pre-print]
(Submitted)

MoL-2021-02:
van Woerkom, Wijnand Koen
(2021)
*Algebraic models of type theory.*
[Report]

X-2021-01:
Wehr, Dominik
(2021)
*Aczel's Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory.*
[Report]

MoL-2021-01:
Zenger, Lukas
(2021)
*Proof theory for fragments of the modal mu-calculus.*
[Report]