ILLC Publications, All Series, 2017

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

PP-2017-18:
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada Argument-based Belief in Topological Structures.
1.Full Text, 2.Abstract.
PP-2017-17:
Sonja Smets, Fernando R. Velázquez-Quesada The Creation and Change of Social Networks: a logical study based on group size.
1.Full Text, 2.Abstract.
PP-2017-16:
Sonja Smets, Fernando R. Velázquez-Quesada How to Make Friends: A Logical Approach to Social Group Creation.
1.Full Text, 2.Abstract.
PP-2017-15:
Alexandru Baltag, Rachel Boddy, Sonja Smets Group Knowledge in Interrogative Epistemology.
1.Full Text, 2.Abstract.
PP-2017-14:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill On modal logics arising from scattered locally compact Hausdorff spaces.
1.Full Text, 2.Abstract.
PP-2017-13:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill A new proof of the McKinsey-Tarski Theorem.
1.Full Text, 2.Abstract.
PP-2017-12:
Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity.
1.Full Text, 2.Abstract.
PP-2017-11:
Weiwei Chen, Ulle Endriss Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks.
1.Full Text, 2.Abstract.
PP-2017-10:
Lorenzo Galeotti, Benedikt Löwe Order types of models of reducts of Peano Arithmetic and their fragments.
1.Full Text, 2.Abstract.
PP-2017-09:
Sebastian Schneckenburger, Britta Dorn, Ulle Endriss The Atkinson Inequality Index in Multiagent Resource Allocation.
1.Full Text, 2.Abstract.
PP-2017-08:
Lorenzo Galeotti, Hugo Nobrega Towards computable analysis on the generalised real line.
1.Full Text, 2.Abstract.
PP-2017-07:
Fernando R. Velázquez-Quesada Reliability-Based Preference Dynamics: Lexicographic Upgrade.
1.Full Text, 2.Abstract.
PP-2017-06:
Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema A simple propositional calculus for compact Hausdorff spaces.
1.Full Text, 2.Abstract.
PP-2017-05:
Sebastian Enqvist, Yde Venema Disjunctive bases: normal forms for modal logics.
1.Full Text, 2.Abstract.
PP-2017-04:
Sebastian Enqvist, Fatemeh Seifan, Yde Venema Completeness for mu-calculi: a coalgebraic approach.
1.Full Text, 2.Abstract.
PP-2017-03:
Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini Tarski's theorem on intuitionistic logic, for polyhedra..
1.Full Text, 2.Abstract.
PP-2017-02:
Joop Niekus What is a choice sequence? How a solution of Troelstra's paradox shows the way to an answer to this question.
1.Full Text, 2.Abstract.
PP-2017-01:
Ulle Endriss, Umberto Grandi Graph Aggregation.
1.Full Text, 2.Abstract.
X-2017-01:
Vidhi Trehan, Aude Laloi, Richard van Hoolwerff, Gideon Borensztajn, Gal Moas The Suppression Task Revisited.
1.Full Text, 2.Abstract.
MoL-2017-30:
Marco Bacchin The perception of number: towards a topological approach.
1.Full Text, 2.Abstract.
MoL-2017-29:
Esteban Landerreche Leaning on Impossible-to-Parallelise Work for Immutability Guarantees in the Blockchain.
1.Full Text, 2.Abstract.
MoL-2017-28:
Michael Repplinger Understanding Generalization: Learning Quantifiers and Negation with Neural Tensor Networks.
1.Full Text, 2.Abstract.
MoL-2017-27:
Mees de Vries An Extensional Modified Realizability Topos.
1.Full Text, 2.Abstract.
MoL-2017-26:
Rana Klein The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic.
1.Full Text, 2.Abstract.
MoL-2017-25:
Jonathan Frederik Sippel The Good, the Bad, and the Difficult: Complexity in a Monotonicity-Grounded Natural Logic for Reasoning with Generalized Quantifiers.
1.Full Text, 2.Abstract.
MoL-2017-24:
Zeno de Hoop Context-Free Processes and Push-Down Processes.
1.Full Text, 2.Abstract.
MoL-2017-23:
Guido van der Knaap The Philosophical Motivation for Proof-Theoretic Harmony.
1.Full Text, 2.Abstract.
MoL-2017-22:
Shuai Wang Turing Learning with Nash Memory.
1.Full Text, 2.Abstract.
MoL-2017-21:
Alison Pasquariello Mohawk Temporality: Embodiment, Ritual, and Cognition.
1.Full Text, 2.Abstract.
MoL-2017-20:
Ottilia Kasbergen Abstractions and Idealisations in Epistemic Logic.
1.Full Text, 2.Abstract.
MoL-2017-19:
Bas Cornelissen Bayesian Language Games: Unifying and evaluating agent-based models of horizontal and vertical language evolution.
1.Full Text, 2.Abstract.
MoL-2017-18:
Bonan Zhao Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game.
1.Full Text, 2.Abstract.
MoL-2017-17:
Jakob Piribauer The Modal Logic of Generic Multiverses.
1.Full Text, 2.Abstract.
MoL-2017-16:
Laura Aina Not logical: A distributional semantic account of negated adjectives.
1.Full Text, 2.Abstract.
MoL-2017-15:
Jana Wagemaker Gossip in NetKAT.
1.Full Text, 2.Abstract.
MoL-2017-14:
Laura Biziou-Van Pol Quantum Dialogues.
1.Full Text, 2.Abstract.
MoL-2017-13:
Stella Moon Isaacson's thesis and Wilkie's theorem.
1.Full Text, 2.Abstract.
MoL-2017-12:
Anthia Solaki Steps out of Logical Omniscience.
1.Full Text, 2.Abstract.
MoL-2017-11:
Lisa Benossi Pretending to work: a closed world reasoning formalisation of pretend play.
1.Full Text, 2.Abstract.
MoL-2017-10:
Andrzej Buleczka Medieval vs Contemporary Metaphysics of Intentionality and Logic.
1.Full Text, 2.Abstract.
MoL-2017-09:
Natalia Talmina Quantifiers and verification strategies: connecting the dots (literally).
1.Full Text, 2.Abstract.
MoL-2017-08:
Aafke de Vos The Logic of Divinatory Reasoning.
1.Full Text, 2.Abstract.
MoL-2017-07:
Levin Hornischer Hyperintensionality and Synonymy.
1.Full Text, 2.Abstract.
MoL-2017-06:
Merlijn Koek Extensions Of The Garden-hose Model.
1.Full Text, 2.Abstract.
MoL-2017-05:
Zoi Terzopoulou Manipulating the Manipulators: Richer Models of Strategic Behavior in Judgment Aggregation.
1.Full Text, 2.Abstract.
MoL-2017-04:
Simone Griffioen Covertly Controlling Choices: Manipulating Decision Making Under Partial Knowledge.
1.Full Text, 2.Abstract.
MoL-2017-03:
Tim Coopmans Robust self-testing of (almost) all pure two-qubit states.
1.Full Text, 2.Abstract.
MoL-2017-02:
Pablo Sierra Márquez A formalization of Spinoza's Ethics, Part 1: Consequences for interpretation.
1.Full Text, 2.Abstract.
MoL-2017-01:
Nina Dongen Analysis and Prediction of Dutch-English Code-switching in Dutch Social Media Messages.
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