ILLC Publications, All Series, 2020-2021 | Institute for Logic, Language and Computation

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