Universiteit van Amsterdam

ILLC Publications, All Series, 2018

MoL-2018-01:
Line van den Berg Unreliable Gossip
MoL-2018-02:
Laura S. Molenaar Quine and Loglan: the Influence of Philosophical Ideas on the Creation of a Logical Language
MoL-2018-03:
Robert Paßmann Loyalty and Faithfulness of Model Constructions for Constructive Set Theory
MoL-2018-04:
Jeroen van Wier Quantum Plaintext Non-Malleability
MoL-2018-05:
Matteo Nizzardo Leibniz's Principle and the Problem of Nonindividuality
MoL-2018-06:
Heidi Metzler Algorithmic Complexity in Textile Patterns
MoL-2018-07:
Grzegorz Lisowski Preventing Manipulation in Aggregating Value-Based Argumentation Frameworks
MoL-2018-08:
Noor Heerkens Studies in Minimal Mathematics
MoL-2018-09:
Raja Oktovin Parhasian Damanik Optimality in Stabilizer Testing
MoL-2018-10:
Jelle Wijnand Don Post-quantum Security of Fiat-Shamir Signatures
PP-2018-01:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A propositional dynamic logic for instantial neighborhood semantics
PP-2018-02:
Ulle Endriss, Umberto Grandi Graph Aggregation: Extended Abstract
PP-2018-03:
Janosch Döcker, Britta Dorn, Ulle Endriss, Ronald de Haan, Sebastian Schneckenburger Tool Auctions
PP-2018-04:
Zoi Terzopoulou, Ulle Endriss Modelling Iterative Judgment Aggregation
PP-2018-05:
Frederik Möllerström Lauridsen Intermediate logics admitting a structural hypersequent calculus
PP-2018-06:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A new game equivalence, its logic and algebra
PP-2018-07:
Benedikt Löwe, Bart Van Kerkhove Methodological triangulation in empirical philosophy (of mathematics)
PP-2018-08:
Dick Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki Two Neighborhood Semantics for Subintuitionistic Logics
PP-2018-09:
Nick Bezhanishvili, Almudena Colacito, Dick de Jongh A Study of Subminimal Logics of Negation and their Modal Companions
PP-2018-10:
Dick de Jongh, Ana Lucia Vargas Finite identification with positive and with complete data
PP-2018-11:
Ronald de Haan Hunting for Tractable Languages for Judgment Aggregation
PP-2018-12:
Ronald de Haan A Parameterized Complexity View on Description Logic Reasoning