ILLC Publications, All Series, 2016

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.

PP-2016-41:
Johan van Benthem "Transmissie, Emergentie en Fading Foundations", a commentary.
1.Full Text, 2.Abstract.
PP-2016-40:
Johan van Benthem Feeling the Rythms of a Field.
1.Full Text, 2.Abstract.
PP-2016-39:
Gaëlle Fontaine, Yde Venema Some model theory for the modal mu-calculus: syntactic characterisations of semantic properties.
1.Full Text, 2.Abstract.
PP-2016-38:
Sarah McWhirter, Jakub Szymanik Constructing Semantic Automata for Quantifier Iterations.
1.Full Text, 2.Abstract.
PP-2016-37:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill Tychonoff HED-spaces and Zemanian extensions of S4.3.
1.Full Text, 2.Abstract.
PP-2016-36:
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin, Subframization and stabilization for superintuitionistic logics.
1.Full Text, 2.Abstract.
PP-2016-35:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Distributed Fair Allocation of Indivisible Goods.
1.Full Text, 2.Abstract.
PP-2016-34:
Janosch Döcker, Britta Dorn, Ulle Endriss, Dominikus Krüger Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.
1.Full Text, 2.Abstract.
PP-2016-33:
Sebastian Enqvist, Fatemeh Seifan, Yde Venema Completeness for the modal mu-calculus: separating the combinatorics from the dynamics.
1.Full Text, 2.Abstract, 3.Full Text (Aug 2016 version).
PP-2016-32:
Paula Henk, Albert Visser Interpretability suprema in Peano Arithmetic.
1.Full Text, 2.Abstract.
PP-2016-31:
Paula Henk, V. Yu. Shavrukov A Solovay function for the least 1-inconsistent subtheory of PA.
1.Full Text, 2.Abstract.
PP-2016-30:
Johan van Benthem Tales from an Old Manuscript.
1.Full Text, 2.Abstract.
PP-2016-29:
Johan van Benthem, Nick Bezhanishvili and Wesley H. Holliday A Bimodal Perspective on Possibility Semantics.
1.Full Text, 2.Abstract.
PP-2016-28:
Guillaume Aucher, Johan van Benthem and Davide Grossi Modal Logics of Sabotage Revisited.
1.Full Text, 2.Abstract.
PP-2016-27:
Johan van Benthem Logic in Play.
1.Full Text, 2.Abstract.
PP-2016-26:
Hajnal Andréka, Johan van Benthem, István Németi On a New Semantics for First-Order Predicate Logic.
1.Full Text, 2.Abstract.
PP-2016-25:
Markus Brill, Edith Elkind, Ulle Endriss, Umberto Grandi Pairwise Diffusion of Preference Rankings in Social Networks.
1.Full Text, 2.Abstract.
PP-2016-24:
Ulle Endriss, Svetlana Obraztsova, Maria Polukarov, Jeffrey S. Rosenschein Strategic Voting with Incomplete Information.
1.Full Text, 2.Abstract.
PP-2016-23:
Almudena Colacito, Dick de Jongh, Ana Lucia Vargas Subminimal Negation.
1.Full Text, 2.Abstract.
PP-2016-22:
Peter van Emde Boas, Ghica van Emde Boas-Lubsen The Rules of Victorious Warriors.
1.Full Text, 2.Abstract.
PP-2016-21:
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets Justified Belief and the Topology of Evidence.
1.Full Text, 2.Abstract.
PP-2016-20:
Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao Universal models for the positive fragment of intuitionistic logic.
1.Full Text, 2.Abstract.
PP-2016-19:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill Topological and logical explorations of Krull dimension.
1.Full Text, 2.Abstract.
PP-2016-18:
Ulle Endriss, Umberto Grandi, Ronald de Haan, Jérôme Lang Succinctness of Languages for Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2016-17:
Giovanni Ciná, Ulle Endriss Proving Classical Theorems of Social Choice Theory in Modal Logic.
1.Full Text, 2.Abstract.
PP-2016-16:
Olivier Cailloux, Ulle Endriss Arguing about Voting Rules.
1.Full Text, 2.Abstract.
PP-2016-15:
Sirin Botan, Arianna Novaro, Ulle Endriss Group Manipulation in Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2016-14:
Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit Rationalisation of Profiles of Abstract Argumentation Frameworks.
1.Full Text, 2.Abstract.
PP-2016-13:
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki Subintuitionistic Logics with Kripke Models.
1.Full Text, 2.Abstract.
PP-2016-12:
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki Weak Subintuitionistic Logics.
1.Full Text, 2.Abstract.
PP-2016-11:
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin Stable modal logics.
1.Full Text, 2.Abstract.
PP-2016-10:
Johannes Marti, Riccardo Pinosio A Game Semantics for System P.
1.Full Text, 2.Abstract.
PP-2016-09:
Raquel G. Alhama, Willem Zuidema Generalization in Artificial Language Learning: Modelling the Propensity to Generalize.
1.Full Text, 2.Abstract.
PP-2016-08:
Raquel G. Alhama, Remko Scha, Willem Zuidema Memorization of sequence-segments by humans and non-human animals: the Retention-Recognition Model.
1.Full Text, 2.Abstract.
PP-2016-07:
Marco Costantini, Carla Groenland, Ulle Endriss Judgment Aggregation under Issue Dependencies.
1.Full Text, 2.Abstract.
PP-2016-06:
Ulle Endriss Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2016-05:
Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D. Procaccia Introduction to Computational Social Choice.
1.Full Text, 2.Abstract.
PP-2016-04:
Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday A bimodal perspective on possibility semantics.
1.Full Text, 2.Abstract.
PP-2016-03:
Johan van Benthem The Open Course Logic in Action.
1.Full Text, 2.Abstract.
PP-2016-02:
Johan van Benthem Tracking Information.
1.Full Text, 2.Abstract, 3.Full Text (Jan 2016 version).
PP-2016-01:
Johan van Benthem Fanning the Flames of Reason.
1.Full Text, 2.Abstract.
X-2016-06:
Evan Marzion Constructive Notions of Cofiniteness.
1.Full Text, 2.Abstract.
X-2016-05:
Johan van Benthem, Wang Yafeng Notes on Mathematical Modal Logic.
1.Full Text, 2.Abstract.
X-2016-04:
Tim van der Molen The Johansson/Heyting letters and the birth of minimal logic.
1.Full Text, 2.Abstract.
X-2016-03:
Chenwei Shi, Sonja Smets Beliefs Supported by Arguments.
1.Full Text, 2.Abstract.
X-2016-02:
Alexandru Baltag, Giovanni Ciná Bisimulation for conditional modalities.
1.Full Text, 2.Abstract.
X-2016-01:
Giovanni Ciná, Sebastian Enqvist Bisimulation and path logic for sheaves: contextuality and beyond.
1.Full Text, 2.Abstract.
MoL-2016-28:
Nigel J. Sequeira Knowing How To Do Semantics.
1.Full Text, 2.Abstract.
MoL-2016-27:
Leanne M. Streekstra On the stability of flexible permission structures.
1.Full Text, 2.Abstract.
MoL-2016-26:
Kristina Gogoladze Evidence-Based Belief Revision for Non-Omniscient Agents.
1.Full Text, 2.Abstract.
MoL-2016-25:
Andrés Occhipinti Liberman Dynamic Evidence Logics with Relational Evidence.
1.Full Text, 2.Abstract.
MoL-2016-24:
Iliana Gioulatou Hyperintensionality.
1.Full Text, 2.Abstract.
MoL-2016-23:
Guillaume Massas Possibility Spaces, Q-Completions and Rasiowa-Sikorski Lemmas for Non-Classical Logics.
1.Full Text, 2.Abstract.
MoL-2016-22:
Tom Hendriks Beyond the Regular: A Formalization of Non-Isochronous Metrical Structure.
1.Full Text, 2.Abstract.
MoL-2016-21:
Olim F. Tuyt Canonical Rules on Neighbourhood Frames.
1.Full Text, 2.Abstract.
MoL-2016-20:
Tom Schoonen Thinking the Impossible: Arguments for Impossible Worlds in Semantics.
1.Full Text, 2.Abstract.
MoL-2016-19:
Arianna Novaro Judgment Aggregation in Dynamic Logic of Propositional Assignments.
1.Full Text, 2.Abstract.
MoL-2016-18:
Eli Drumm Readtable-Macro Transducer-Chain Parsing.
1.Full Text, 2.Abstract.
MoL-2016-17:
Thomas Cattermole Paraconsistent Logics and Identity - a Pragmatic Approach.
1.Full Text, 2.Abstract.
MoL-2016-16:
Anna Bellomo Theories of size for infinite collections.
1.Full Text, 2.Abstract.
MoL-2016-15:
Benjamin Sparkes Inquisitive Conditional-Doxastic Logic.
1.Full Text, 2.Abstract.
MoL-2016-14:
Almudena Colacito Minimal and Subminimal Logic of Negation.
1.Full Text, 2.Abstract.
MoL-2016-13:
Daniil Frumin Weak Factorisation Systems in the Effective Topos.
1.Full Text, 2.Abstract.
MoL-2016-12:
Thom van Gessel Action Models in Inquisitive Logic.
1.Full Text, 2.Abstract.
MoL-2016-11:
Evan Marzion Closed Sets of Higher-Order Functions.
1.Full Text, 2.Abstract.
MoL-2016-10:
Philip W.B. Michgelsen Genetic-Algorithmic Optimisation for School-Allocation Mechanisms: A Study of Amsterdam's Student to High-School Allocation Problem.
1.Full Text, 2.Abstract.
MoL-2016-09:
Sander in 't Veld Temporal Logics, Automata and the Modal $\mu$-Calculus.
1.Full Text, 2.Abstract.
MoL-2016-08:
Sirin Botan Propositional Opinion Diffusion with Constraints.
1.Full Text, 2.Abstract.
MoL-2016-07:
Christopher Badura Truth in Fiction via Non-Standard Belief Revision.
1.Full Text, 2.Abstract.
MoL-2016-06:
Thomas Santoli Logics for Compact Hausdorff Spaces via de Vries Duality.
1.Full Text, 2.Abstract.
MoL-2016-05:
Yfke Dulek Quantum Homomorphic Encryption for Polynomial-Sized Circuits.
1.Full Text, 2.Abstract.
MoL-2016-04:
Rick Bellaar Understanding Schizophrenia: A Wittgensteinian Response to Double-Bookkeeping.
1.Full Text, 2.Abstract.
MoL-2016-03:
Stephen Pastan Another Approach to Truthmaker Semantics.
1.Full Text, 2.Abstract.
MoL-2016-02:
Nikolas Nisidis A decompositional analysis of discourse relations.
1.Full Text, 2.Abstract.
MoL-2016-01:
Sarah Hiller Corrective Feedback in First Language Acquisition.
1.Full Text, 2.Abstract.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X