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
