Items where Year is 2021

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

A

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]

B

PP-2021-08: Baltag, Alexandru and Smets, Sonja (2021) Learning What Others Know. [Pre-print]

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]

C

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

D

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]

F

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

J

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

L

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

M

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]

P

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]

S

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]

T

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]

V

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-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]

W

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

Z

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

This list was generated on Wed Sep 29 00:30:02 2021 CEST.