Main Page Navigation
ILLC Publications, All Series, 2020
MoL-2020-01 :
Federico Schiaffino
Memory, Time and Language:
MoL-2020-02 :
Cornets de Groot Sven Hugo
Logical systems with left-sequential versions of NAND and XOR
MoL-2020-03 :
Rachel Maden
The nature of referential intentions
MoL-2020-04 :
Thijs Benjamins
Locally finite varieties of Heyting algebras of width 2
MoL-2020-05 :
Teodor Tiberiu Călinoiu
What Structural Objects Could Be: Mathematical Structuralism and its Prospects
MoL-2020-06 :
Maëlle Havelange
‘White horse not horse’: An Analysis of Modern Interpretative Approaches to Kung-sun Lung’s White Horse Discourse
MoL-2020-07 :
Angelica M. Hill
The Only Thesis
MoL-2020-08 :
Tex Aston Felix Schönlank
Syntactic logical relations for System F with recursive types and call-by-name semantics
MoL-2020-09 :
Leo Lobski
Quantum quirks, classical contexts: Towards a Bohrification of effect algebras
MoL-2020-10 :
Boas Kluiving
Computationally Efficient Representation Languages for Fairly Dividing Indivisible Goods
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
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
PP-2020-14 :
Johan van Benthem, Fenrong Liu
New Logical Perspectives on Monotonicity
PP-2020-15 :
Arthur Boixel, Ulle Endriss
Automated Justification of Collective Decisions via Constraint Solving
PP-2020-16 :
Sirin Botan, Ulle Endriss
Majority-Strategyproofness in Judgment Aggregation
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
PP-2020-18 :
Simon Rey, Ulle Endriss, Ronald de Haan
Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation
PP-2020-19 :
Alexandru Baltag, Johan van Benthem, Dag Westerstähl
Compositionality in Context
PP-2020-20 :
Zoi Terzopoulou
Quota Rules for Incomplete Judgments
PP-2020-21 :
Tom Schoonen
The Problem of Modally Bad Company
PP-2020-22 :
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra
The nerve criterion and polyhedral completeness of intermediate logics
