Items where Year is 2021

Group by: Authors | Item Type | No Grouping
Jump to: A | B | C | D | F | G | H | J | K | L | M | O | P | S | T | V | W | Z
Number of items: 38.


MoL-2021-10: Ade, Leyla (2021) Iterative Goal-Based Voting. [Report]

PP-2021-09: Ahmed, Rasyan and Zuidema, Willem and Lentz, Tom (2021) Modelling EEG responses to spoken narration. [Pre-print] (Unpublished)

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-22: Cleani, Antonio Maria (2021) Translational Embeddings via Stable Canonical Rules. [Report]


MoL-2021-18: Dmitrieva, Anna (2021) Positive modal logic beyond distributivity: duality, preservation and completeness. [Report]

MoL-2021-07: de Graaf, David Joël (2021) "A partition calculus in set theory" by Erdös and Rado for readers from the twenty-first century. [Report]


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


MoL-2021-20: Gougeon, Quentin (2021) The Expressive Power of Derivational Modal Logic. [Report]


MoL-2021-21: Hui, Terence (2021) A Compositional Analysis of Dependence Statements. [Report]


MoL-2021-12: Jaramillo, Mateo C. (2021) Epistemic Logics for Cryptographic Protocols and Zero-Knowledge Proofs. [Report]


MoL-2021-25: Kortenbach, Bas (2021) The Classicality of Epistemic Multilateral Logic. [Report]

MoL-2021-23: Køhlert, Sebastian N. (2021) Measuring What Exactly? A Critique of Causal Modelling in Atheoretical Econometrics. [Report]


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


MoL-2021-14: Michelini, Matteo (2021) When Being the Fifth Wheel Pays Off: Wisdom of the Crowds with Costly Information. [Report]

MoL-2021-17: Motamed, Nima (2021) Multivalued Coalgebraic Modal Logic for Multiagent Systems and Multiplayer Games. [Report]


MoL-2021-27: Oddsson, Hrafn Valtýr (2021) Paradefinite Zermelo-Fraenkel Set Theory: A Theory of Inconsistent and Incomplete Sets. [Report]

MoL-2021-24: Osinski, Jonathan (2021) Symbiosis and Compactness Properties. [Pre-print]


MoL-2021-11: Pinton, Lorenzo (2021) You may like or dislike this thesis, and I do care which. An inquiry into sluicing and free choice. [Report]


MoL-2021-15: Schoen, Ezra (2021) Relation Lifting and Coalgebraic Logic. [Report]

MoL-2021-16: Siemers, Maximilian (2021) Hyperintensional Logics for Evidence, Knowledge and Belief. [Report]

MoL-2021-13: Smiles, John Fergus William (2021) Learning Deterministic Finite Automata with Signed Examples: An Investigation into the Role of Entropy in Optimal Model Selection. [Report]


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

MoL-2021-09: Tsiaxiras, Jason (2021) Strategic Voting under Incomplete Information in Approval-Based Committee Elections. [Report]


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

MoL-2021-08: Vonlanthen, Simon Dominik (2021) Natural Language and Logical Consequence: An Inferentialist Account. [Report]

PP-2021-10: van Benthem, Johan and Icard, Thomas (2021) Interfacing Logic and Counting. [Pre-print] (Submitted)

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]

MoL-2021-26: van der Kamp, Luca (2021) The Epistemic Logic of Full Communication and Social Networks: An Analysis of Mediation and Network Formation. [Report]


MoL-2021-19: Wehr, Dominik (2021) An Abstract Framework for the Analysis of Cyclic Derivations. [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 Mon Jan 17 00:30:06 2022 CET.