View publication by year:
- 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
- MoL-2018-33:
- Krsto Proroković Learning to Decide a Formal Language: A Recurrent Neural Network Approach
- MoL-2018-34:
- Jan Rooduijn A right semimodel structure on semisimplicial sets
- MoL-2018-35:
- Yujie Xing Examining Personality Differences in Chit-Chat Sequence to Sequence Conversational Agents
- MoL-2018-36:
- Tao Gu Majorizability Types, Assemblies, and the Fan Theorem
- 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
- PP-2018-16:
- Ulle Endriss Judgment Aggregation with Rationality and Feasibility Constraints
- PP-2018-17:
- Weiwei Chen, Ulle Endriss Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules
- PP-2018-18:
- Anthia Solaki, Sonja Smets The effort of reasoning: modelling the inference steps of boundedly rational agents
- X-2018-01:
- David O'Connell Supertasks and Spacetime
- X-2018-02:
- A.S. Troelstra Corrections to some Publications