Universiteit van Amsterdam

ILLC Publications, All Series, 2020

MoL-2020-01:
Federico Schiaffino Memory, Time and Language:
A Mental Time Travel Model in a Narrative Discourse
MoL-2020-02:
Cornets de Groot Sven Hugo Logical systems with left-sequential versions of NAND and XOR
MoL-2020-03:
Rachel Maden The nature of referential intentions
MoL-2020-04:
Thijs Benjamins Locally finite varieties of Heyting algebras of width 2
MoL-2020-05:
Teodor Tiberiu Călinoiu What Structural Objects Could Be: Mathematical Structuralism and its Prospects
MoL-2020-06:
Maëlle Havelange ‘White horse not horse’: An Analysis of Modern Interpretative Approaches to Kung-sun Lung’s White Horse Discourse
MoL-2020-07:
Angelica M. Hill The Only Thesis
MoL-2020-08:
Tex Aston Felix Schönlank Syntactic logical relations for System F with recursive types and call-by-name semantics
MoL-2020-09:
Leo Lobski Quantum quirks, classical contexts: Towards a Bohrification of effect algebras
MoL-2020-10:
Boas Kluiving Computationally Efficient Representation Languages for Fairly Dividing Indivisible Goods
PP-2019-15:
Peter Hawke, Aybüke Özgün Truthmaker Semantics for Epistemic Logic
PP-2020-01:
Merlin Carl, Lorenzo Galeotti Resetting Infinite Time Blum-Shub-Smale-Machines
PP-2020-02:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill Characterizing existence of a measurable cardinal via modal logic
PP-2020-03:
Nick Bezhanishvili, Tommaso Moraschini Hereditarily structurally complete intermediate logics: Citkin's theorem via Esakia duality
PP-2020-04:
Guram Bezhanishvili, Nick Bezhanishvili, Luca Carai, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze Diego's theorem for nuclear implicative semilattices
PP-2020-05:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill The McKinsey-Tarski theorem for locally compact ordered spaces
PP-2020-06:
Alexandru Baltag, Johan van Benthem A Simple Logic of Functional Dependence
PP-2020-07:
Carlo Proietti, Antonio Yuste-Ginel Persuasive Argumentation and Epistemic Attitudes
PP-2020-08:
Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot Duality for instantial neighbourhood logic via
coalgebra
PP-2020-09:
Jan Rooduijn, Yde Venema Completeness for axiomatic extensions of modal logic with the master modality
PP-2020-10:
Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro An Algebraic Approach to Inquisitive and DNA-Logics
PP-2020-11:
Nick Bezhanishvili, Tim Henke A model-theoretic approach to descriptive general frames: the van Benthem characterisation theorem
PP-2020-12:
Guram Bezhanishvili, Nick Bezhanishvili Jankov formulas and axiomatization techniques for intermediate logics
PP-2020-13:
Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen Bounded Symbiosis and Upwards Reflection
PP-2020-14:
Johan van Benthem, Fenrong Liu New Logical Perspectives on Monotonicity
PP-2020-15:
Arthur Boixel, Ulle Endriss Automated Justification of Collective Decisions via Constraint Solving
PP-2020-16:
Sirin Botan, Ulle Endriss Majority-Strategyproofness in Judgment Aggregation
PP-2020-17:
Boas Kluiving, Adriaan de Vries, Pepijn Vrijbergen, Arthur Boixel, Ulle Endriss Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving
PP-2020-18:
Simon Rey, Ulle Endriss, Ronald de Haan Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation
PP-2020-19:
Alexandru Baltag, Johan van Benthem, Dag Westerstähl Compositionality in Context
PP-2020-20:
Zoi Terzopoulou Quota Rules for Incomplete Judgments
PP-2020-21:
Tom Schoonen The Problem of Modally Bad Company
PP-2020-22:
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra The nerve criterion and polyhedral completeness of intermediate logics