/ / / /

Publications

Institute for Logic, Language and Computation

ILLC Publications, All Series, 2018

MoL-2018-01:: Line van den Berg Unreliable Gossip
1.Full Text, 2.Abstract.
MoL-2018-02:: Laura S. Molenaar Quine and Loglan: the Influence of Philosophical Ideas on the Creation of a Logical Language
1.Full Text, 2.Abstract.
MoL-2018-03:: Robert Paßmann Loyalty and Faithfulness of Model Constructions for Constructive Set Theory
1.Full Text, 2.Abstract.
MoL-2018-04:: Jeroen van Wier Quantum Plaintext Non-Malleability
1.Full Text, 2.Abstract.
MoL-2018-05:: Matteo Nizzardo Leibniz's Principle and the Problem of Nonindividuality
1.Full Text, 2.Abstract.
MoL-2018-06:: Heidi Metzler Algorithmic Complexity in Textile Patterns
1.Full Text, 2.Abstract.
MoL-2018-07:: Grzegorz Lisowski Preventing Manipulation in Aggregating Value-Based Argumentation Frameworks
1.Full Text, 2.Abstract.
MoL-2018-08:: Noor Heerkens Studies in Minimal Mathematics
1.Full Text, 2.Abstract.
MoL-2018-09:: Raja Oktovin Parhasian Damanik Optimality in Stabilizer Testing
1.Full Text, 2.Abstract.
MoL-2018-10:: Jelle Wijnand Don Post-quantum Security of Fiat-Shamir Signatures
1.Full Text, 2.Abstract.
MoL-2018-11:: Silvan Hungerbühler A Computational Method for Philosophical Interpretation
1.Full Text, 2.Abstract.
MoL-2018-12:: Stefania Ionescu Advancing the Use of Sparse Knowledge for Qualitative Models and Simulations
1.Full Text, 2.Abstract.
MoL-2018-13:: Mathijs S. Mul Recognizing Logical Entailment: Reasoning with Recursive and Recurrent Neural Networks
1.Full Text, 2.Abstract.
MoL-2018-14:: Ethan S. Lewis Computation with Infinite Programs
1.Full Text, 2.Abstract.
MoL-2018-15:: Jonathan Pesetsky Factual Conditionals and Hypothetical Commitments
1.Full Text, 2.Abstract.
MoL-2018-16:: Julia Joanna Turska Conceptual Relativism and Linguistic Anthropology: How to comprehend the incomprehensible?
1.Full Text, 2.Abstract.
MoL-2018-17:: Max Rapp Hybrid Logics for Arguments, Beliefs, and their Dynamics
1.Full Text, 2.Abstract.
MoL-2018-18:: Jorge Viterbo Ferreira The Problem of Counterpossibles
1.Full Text, 2.Abstract.
MoL-2018-19:: Hana Möller Kalpak Inquisitive Logical Triviality and Grammar
1.Full Text, 2.Abstract.
MoL-2018-20:: Haukur Páll Jónsson Real Logic and Logic Tensor Networks
1.Full Text, 2.Abstract.
MoL-2018-21:: Marvin Schmitt CRISP: a semantics for focus-sensitive particles in questions
1.Full Text, 2.Abstract.
MoL-2018-22:: Mrinalini Luthra How do we Develop Ethically Aware AI?
1.Full Text, 2.Abstract.
MoL-2018-23:: Marlou M. Gijzen A Constructive Approach Towards Formalizing Relativization Using Combinatory Logic
1.Full Text, 2.Abstract.
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
1.Full Text, 2.Abstract.
MoL-2018-25:: Leon Commandeur Logical Functionalism
1.Full Text, 2.Abstract.
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
1.Full Text, 2.Abstract.
MoL-2018-27:: Saúl Fernández González Generic Models for Topological Evidence Logics
1.Full Text, 2.Abstract.
MoL-2018-28:: Dean McHugh Counterfactuals and the Logic of Imaginative Content
1.Full Text, 2.Abstract.
MoL-2018-29:: Jana Haenen A Gödel-style translation from positive calculus into strict implication logic
1.Full Text, 2.Abstract.
MoL-2018-30:: Morwenna Hoeks Coordinating Questions
1.Full Text, 2.Abstract.
MoL-2018-31:: Krzysztof Mierzewski Probabilistic Stability: dynamics, nonmonotonic logics, and stable revision
1.Full Text, 2.Abstract.
MoL-2018-32:: Gian Carlo Milanese An exploration of closure ordinals in the modal μ-calculus
1.Full Text, 2.Abstract.
PP-2018-01:: Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A propositional dynamic logic for instantial neighborhood semantics
1.Full Text, 2.Abstract.
PP-2018-02:: Ulle Endriss, Umberto Grandi Graph Aggregation: Extended Abstract
1.Full Text, 2.Abstract.
PP-2018-03:: Janosch Döcker, Britta Dorn, Ulle Endriss, Ronald de Haan, Sebastian Schneckenburger Tool Auctions
1.Full Text, 2.Abstract.
PP-2018-04:: Zoi Terzopoulou, Ulle Endriss Modelling Iterative Judgment Aggregation
1.Full Text, 2.Abstract.
PP-2018-05:: Frederik Möllerström Lauridsen Intermediate logics admitting a structural hypersequent calculus
1.Full Text, 2.Abstract.
PP-2018-06:: Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A new game equivalence, its logic and algebra
1.Full Text, 2.Abstract.
PP-2018-07:: Benedikt Löwe, Bart Van Kerkhove Methodological triangulation in empirical philosophy (of mathematics)
1.Full Text, 2.Abstract.
PP-2018-08:: Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki Two Neighborhood Semantics for Subintuitionistic Logics
1.Full Text, 2.Abstract.
PP-2018-09:: Nick Bezhanishvili, Almudena Colacito, Dick de Jongh A Study of Subminimal Logics of Negation and their Modal Companions
1.Full Text, 2.Abstract.
PP-2018-10:: Dick de Jongh, Ana Lucia Vargas Finite identification with positive and with complete data
1.Full Text, 2.Abstract.
PP-2018-11:: Ronald de Haan Hunting for Tractable Languages for Judgment Aggregation
1.Full Text, 2.Abstract.
PP-2018-12:: Ronald de Haan A Parameterized Complexity View on Description Logic Reasoning
1.Full Text, 2.Abstract.
PP-2018-13:: Nick Bezhanishvili, Wesley H. Holliday Choice-free Stone duality
1.Full Text, 2.Abstract.
PP-2018-14:: Merlin Carl, Lorenzo Galeotti, Benedikt Löwe The Bolzano-Weierstrass Theorem in Generalised Analysis
1.Full Text, 2.Abstract.
PP-2018-15:: Benedikt Löwe, Robert Passmann, Sourav Tarafder Constructing illoyal algebra-valued models of set theory
1.Full Text, 2.Abstract.
X-2018-01:: David O'Connell Supertasks and Spacetime
1.Full Text, 2.Abstract.