ILLC Publications, All Series, 2022

MoL-2022-01:
Daniela Loustalot Knapp Justification of Matching Outcomes
MoL-2022-02:
James Carr Hereditary Structural Completeness over K4: Rybakov’s Theorem Revisited
MoL-2022-03:
Zichen Peng Simultaneous Substitution Algebras
MoL-2022-04:
Nicolien S. Janssens Communicate and Vote: Collective Truth-tracking in Networks
MoL-2022-05:
Lukas Felderhoff Single-Peaked Electorates in Liquid Democracy
MoL-2022-06:
Thomas klein Goldewijk Fairness in Perpetual Participatory Budgeting
MoL-2022-07:
Raoul Koudijs Learning Modal Formulas via Dualities
MoL-2022-08:
Marie Christin Schmidtlein Voting by Axioms
MoL-2022-09:
Jasmijn van Harskamp The National Contests Behind International Success: A Musical Comparison of the Eurovision Song Contest, the Festival di Sanremo and the Melodifestivalen
MoL-2022-10:
Mike Cruchten Topics in Ω-Automata: A Journey through Lassos, Algebra, Coalgebra and Expressions
MoL-2022-11:
Noel Arteche Echeverría Parameterized Compilability
MoL-2022-12:
Vasily Romanovskiy "A-ha, I hadn’t thought of that": the Bayesian Problem of Awareness Growth
MoL-2022-13:
Arie W. Soeteman Artificial Understanding
MoL-2022-14:
Tomasz Klochowicz Investigating semantic and selectional properties of clause-embedding predicates in Polish
MoL-2022-15:
Valentino Filipetto Constructing queries from data examples
MoL-2022-16:
Koen Leijnse On the Quantum Hardness of Matching Colored Triangles
MoL-2022-17:
Anton Chernev Degrees of FMP in extensions of bi-intuitionistic logic
MoL-2022-18:
Anouk Michelle Oudshoorn Cost Fixed Point Logic
MoL-2022-19:
Rodrigo Nicolau Almeida Polyatomic Logics and Generalised Blok-Esakia Theory with Applications to Orthologic and KTB
MoL-2022-20:
Erin McCloskey Relative Weak Factorization Systems
MoL-2022-21:
Gian Marco Osso Some results on the Generalized Weihrauch Hierarchy
MoL-2022-22:
Lide Grotenhuis Natural Axiomatic Theories and Consistency Strength: A Lakatosian Approach to the Linearity Conjecture
MoL-2022-23:
Tianwei Zhang Bisimulations over Parity Formulas
MoL-2022-24:
Søren Brinck Knudstorp Modal Information Logics
MoL-2022-25:
Pepijn Vrijbergen Validity, Logic, and Models
MoL-2022-26:
Rover Junior Samwel Explorations in Coalgebraic Predicate Logic (With a Focus on Interpolation)
MoL-2022-27:
Daniël D. Otten De Jongh’s Theorem for Type Theory
MoL-2022-29:
Nikki Weststeijn The Relation Between Shannon Information and Semantic Information
PP-2022-01:
Aybüke Özgün, Tom Schoonen The Logical Development of Pretense Imagination
PP-2022-02:
Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin Hybrid sabotage Modal Logic
PP-2022-03:
Johan van Benthem, Nick Bezhanishvili Modal structures in groups and vector spaces
PP-2022-04:
Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini Bi-intermediate logics of trees and co-trees
PP-2022-05:
Maria Aloni, Peter van Ormondt Modified numerals and split disjunction: the first-order case
PP-2022-06:
Alexandru Baltag, Nick Bezhanishvili, David Fernandez Duque The Topology of Surprise
PP-2022-07:
Nick Bezhanishvili, Antonio M. Cleani Translational embeddings via stable canonical rules
PP-2022-08:
Yurii Khomskii, Hrafn Valtýr Oddsson Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory
X-2022-01:
Balder ten Cate Lyndon Interpolation for Modal Logic via Type Elimination Sequences
X-2022-02:
Paul van Ulsen Onderwijs en onderzoek in logica en wetenschapsfilosofie
X-2022-03:
Paul van Ulsen Wetenschapsfilosofie
X-2022-04:
Paul van Ulsen Organisaties en genootschappen
X-2022-05:
Paul van Ulsen Bibliografie E.W. Beth