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
MoL-2018-11:
Silvan Hungerbühler A Computational Method for Philosophical Interpretation
MoL-2018-12:
Stefania Ionescu Advancing the Use of Sparse Knowledge for Qualitative Models and Simulations
MoL-2018-13:
Mathijs S. Mul Recognizing Logical Entailment: Reasoning with Recursive and Recurrent Neural Networks
MoL-2018-14:
Ethan S. Lewis Computation with Infinite Programs
MoL-2018-15:
Jonathan Pesetsky Factual Conditionals and Hypothetical Commitments
MoL-2018-16:
Julia Joanna Turska Conceptual Relativism and Linguistic Anthropology: How to comprehend the incomprehensible?
MoL-2018-17:
Max Rapp Hybrid Logics for Arguments, Beliefs, and their Dynamics
MoL-2018-18:
Jorge Viterbo Ferreira The Problem of Counterpossibles
MoL-2018-19:
Hana Möller Kalpak Inquisitive Logical Triviality and Grammar
MoL-2018-20:
Haukur Páll Jónsson Real Logic and Logic Tensor Networks
MoL-2018-21:
Marvin Schmitt CRISP: a semantics for focus-sensitive particles in questions
MoL-2018-22:
Mrinalini Luthra How do we Develop Ethically Aware AI?
MoL-2018-23:
Marlou M. Gijzen A Constructive Approach Towards Formalizing Relativization Using Combinatory Logic
MoL-2018-24:
Lucy van Oostveen What You Know About People’s Preferences Matters:
Investigating simpler notions of partial information in the context of strategic manipulation in voting
MoL-2018-25:
Leon Commandeur Logical Functionalism
MoL-2018-26:
Max van den Broek You Don't Believe This Is The Title
Moore's Paradox and its relation to the Surprise Exam Paradox, the Knowability Paradox, the Toxin Problem and Newcomb’s Problem
MoL-2018-27:
Saúl Fernández González Generic Models for Topological Evidence Logics
MoL-2018-28:
Dean McHugh Counterfactuals and the Logic of Imaginative Content
MoL-2018-29:
Jana Haenen A Gödel-style translation from positive calculus into strict implication logic
MoL-2018-30:
Morwenna Hoeks Coordinating Questions
MoL-2018-31:
Krzysztof Mierzewski Probabilistic Stability: dynamics, nonmonotonic logics, and stable revision
MoL-2018-32:
Gian Carlo Milanese An exploration of closure ordinals in the modal μ-calculus
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 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
PP-2018-13:
Nick Bezhanishvili, Wesley H. Holliday Choice-free Stone duality
PP-2018-14:
Merlin Carl, Lorenzo Galeotti, Benedikt Löwe The Bolzano-Weierstrass Theorem in Generalised Analysis
PP-2018-15:
Benedikt Löwe, Robert Passmann, Sourav Tarafder Constructing illoyal algebra-valued models of set theory
X-2018-01:
David O'Connell Supertasks and Spacetime