Number of items: **39**.

PP-2020-22:
Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo
(2020)
*The nerve criterion and polyhedral completeness of intermediate logics.*
[Pre-print]

PP-2020-06:
Baltag, Alexandru and van Benthem, Johan
(2020)
*A Simple Logic of Functional Dependence.*
[Pre-print]
(Submitted)

PP-2020-19:
Baltag, Alexandru and van Benthem, Johan and Westerstähl, Dag
(2020)
*Compositionality in Context.*
[Pre-print]
(In Press)

MoL-2020-04:
Benjamins, Thijs
(2020)
*Locally finite varieties of Heyting algebras of width 2.*
[Pre-print]

PP-2020-12:
Bezhanishvili, Guram and Bezhanishvili, Nick
(2020)
*Jankov formulas and axiomatization techniques for intermediate logics.*
[Pre-print]

PP-2020-04:
Bezhanishvili, Guram and Bezhanishvili, Nick and Carai, Luca and Gabelaia, David and Ghilardi, Silvio and Jibladze, Mamuka
(2020)
*Diego's theorem for nuclear implicative semilattices.*
[Pre-print]

PP-2020-02:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2020)
*Characterizing existence of a measurable cardinal via modal logic.*
[Pre-print]

PP-2020-05:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2020)
*The McKinsey-Tarski theorem for locally compact ordered spaces.*
[Pre-print]

PP-2020-08:
Bezhanishvili, Nick and Enqvist, Sebastian and de Groot, Jim
(2020)
*Duality for instantial neighbourhood logic via
coalgebra.*
[Pre-print]

PP-2020-10:
Bezhanishvili, Nick and Grilletti, Gianluca and Quadrellaro, Davide Emilio
(2020)
*An Algebraic Approach to Inquisitive and DNA-Logics.*
[Pre-print]
(Submitted)

PP-2020-11:
Bezhanishvili, Nick and Henke, Tim
(2020)
*A model-theoretic approach to descriptive general frames: the van Benthem characterisation theorem.*
[Pre-print]

PP-2020-03:
Bezhanishvili, Nick and Moraschini, Tommaso
(2020)
*Hereditarily structurally complete intermediate logics: Citkin's theorem via Esakia duality.*
[Pre-print]

PP-2020-15:
Boixel, Arthur and Endriss, Ulle
(2020)
*Automated Justification of Collective Decisions via Constraint Solving.*
[Pre-print]

PP-2020-16:
Botan, Sirin and Endriss, Ulle
(2020)
*Majority-Strategyproofness in Judgment Aggregation.*
[Pre-print]

MoL-2020-15:
Campa, Marta
(2020)
*Deflationism about Reference.*
[Report]

PP-2020-01:
Carl, Merlin and Galeotti, Lorenzo
(2020)
*Resetting Infinite Time Blum-Shub-Smale-Machines.*
[Pre-print]
(Submitted)

MoL-2020-05:
Călinoiu, Teodor Tiberiu
(2020)
*What Structural Objects Could Be: Mathematical Structuralism and its Prospects.*
[Pre-print]

MoL-2020-11:
Flaten, Eric
(2020)
*Toward a formal representation of radical interpretation.*
[Report]

PP-2020-13:
Galeotti, Lorenzo and Khomskii, Yurii and Väänänen, Jouko
(2020)
*Bounded Symbiosis and Upwards Reflection.*
[Pre-print]
(Submitted)

MoL-2020-06:
Havelange, Maëlle
(2020)
*‘White horse not horse’: An Analysis of Modern Interpretative Approaches to Kung-sun Lung’s White Horse Discourse.*
[Pre-print]

PP-2019-15:
Hawke, Peter and Özgün, Aybüke
(2020)
*Truthmaker Semantics for Epistemic Logic.*
[Pre-print]
(In Press)

MoL-2020-07:
Hill, Angelica M.
(2020)
*The Only Thesis.*
[Report]

MoL-2020-14:
Hoogstra, Brandon Ryan
(2020)
*From Cross-World Predication to Cross-World Travel:
Building a Bridge between Worlds.*
[Report]

MoL-2020-12:
Karlsson, Martin
(2020)
*Proofs and Strategies: A Characterization of Classical and Intuitionistic Logic using Games with Explicit Strategies.*
[Report]

MoL-2020-10:
Kluiving, Boas
(2020)
*Computationally Efficient Representation Languages for Fairly Dividing Indivisible Goods.*
[Report]

PP-2020-17:
Kluiving, Boas and de Vries, Adriaan and Vrijbergen, Pepijn and Boixel, Arthur and Endriss, Ulle
(2020)
*Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving.*
[Pre-print]

MoL-2020-09:
Lobski, Leo
(2020)
*Quantum quirks, classical contexts: Towards a Bohrification of effect algebras.*
[Report]

MoL-2020-03:
Maden, Rachel
(2020)
*The nature of referential intentions.*
[Pre-print]

MoL-2020-13:
Melzer, Sebastian David
(2020)
*Canonical Formulas for the Lax Logic.*
[Report]

PP-2020-07:
Proietti, Carlo and Yuste-Ginel, Antonio
(2020)
*Persuasive Argumentation and Epistemic Attitudes.*
[Pre-print]

PP-2020-18:
Rey, Simon and Endriss, Ulle and de Haan, Ronald
(2020)
*Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation.*
[Pre-print]

PP-2020-09:
Rooduijn, Jan and Venema, Yde
(2020)
*Completeness for axiomatic extensions of modal logic with the master modality.*
[Pre-print]
(Unpublished)

MoL-2020-01:
Schiaffino, Federico
(2020)
*Memory, Time and Language:
A Mental Time Travel Model in a Narrative Discourse.*
[Pre-print]

PP-2020-21:
Schoonen, Tom
(2020)
*The Problem of Modally Bad Company.*
[Pre-print]
(In Press)

MoL-2020-08:
Schönlank, Tex Aston Felix
(2020)
*Syntactic logical relations for System F with recursive types and call-by-name semantics.*
[Report]

MoL-2020-02:
Sven Hugo, Cornets de Groot
(2020)
*Logical systems with left-sequential versions of NAND and XOR.*
[Pre-print]

PP-2020-20:
Terzopoulou, Zoi
(2020)
*Quota Rules for Incomplete Judgments.*
[Pre-print]
(In Press)

MoL-2020-16:
Vogelmann, Valentin
(2020)
*Statistical Methodology for Quantitative Linguistics: A Case Study of Learnability and Zipf’s Law.*
[Report]

PP-2020-14:
van Benthem, Johan and Liu, Fenrong
(2020)
*New Logical Perspectives on Monotonicity.*
[Pre-print]
(In Press)