Items where Year is 2021

Group by: Authors | Item Type | No Grouping
Jump to: A | B | C | F | L | T | V | W | Z
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]

This list was generated on Wed Jun 23 00:30:12 2021 CEST.