Main Page Navigation
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
MoL-2021-07 :
David Joël de Graaf
"A partition calculus in set theory" by Erdös and Rado for readers from the twenty-first century
MoL-2021-08 :
Simon Dominik Vonlanthen
Natural Language and Logical Consequence: An Inferentialist Account
MoL-2021-09 :
Jason Tsiaxiras
Strategic Voting under Incomplete Information in Approval-Based Committee Elections
MoL-2021-10 :
Leyla Ade
Iterative Goal-Based Voting
MoL-2021-11 :
Lorenzo Pinton
You may like or dislike this thesis, and I do care which.
MoL-2021-12 :
Mateo C. Jaramillo
Epistemic Logics for Cryptographic Protocols and Zero-Knowledge Proofs
MoL-2021-13 :
John Fergus William Smiles
Learning Deterministic Finite Automata with Signed Examples: An Investigation into the Role of Entropy in Optimal Model Selection
MoL-2021-14 :
Matteo Michelini
When Being the Fifth Wheel Pays Off: Wisdom of the Crowds with Costly Information
MoL-2021-15 :
Ezra Schoen
Relation Lifting and Coalgebraic Logic
MoL-2021-16 :
Maximilian Siemers
Hyperintensional Logics for Evidence, Knowledge and Belief
MoL-2021-17 :
Nima Motamed
Multivalued Coalgebraic Modal Logic for Multiagent Systems and Multiplayer Games
MoL-2021-18 :
Anna Dmitrieva
Positive modal logic beyond distributivity: duality, preservation and completeness
MoL-2021-19 :
Dominik Wehr
An Abstract Framework for the Analysis of Cyclic Derivations
MoL-2021-20 :
Quentin Gougeon
The Expressive Power of Derivational Modal Logic
MoL-2021-21 :
Terence Hui
A Compositional Analysis of Dependence Statements
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
PP-2021-09 :
Rasyan Ahmed, Willem Zuidema, Tom Lentz
Modelling EEG responses to spoken narration
PP-2021-10 :
Johan van Benthem, Thomas Icard
Interfacing Logic and Counting
X-2021-01 :
Dominik Wehr
Aczel's Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory
