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
