Universiteit van Amsterdam

ILLC Publications, All Series, 2020

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