View publication by year:
- 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.
An inquiry into sluicing and free choice - 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
- MoL-2021-22:
- Antonio Maria Cleani Translational Embeddings via Stable Canonical Rules
- MoL-2021-23:
- Sebastian N. Køhlert Measuring What Exactly? A Critique of Causal Modelling in Atheoretical Econometrics
- MoL-2021-24:
- Jonathan Osinski Symbiosis and Compactness Properties
- MoL-2021-25:
- Bas Kortenbach The Classicality of Epistemic Multilateral Logic
- MoL-2021-26:
- Luca van der Kamp The Epistemic Logic of Full Communication and Social Networks: An Analysis of Mediation and Network Formation
- MoL-2021-27:
- Hrafn Valtýr Oddsson Paradefinite Zermelo-Fraenkel Set Theory: A Theory of Inconsistent and Incomplete Sets
- MoL-2021-28:
- Pepijn Kroes Finiteness, Invariance, and Analogy: A Minimal Model for Adaptive Processes
- 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
1.Full Text.
- 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