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