Main Page Navigation
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:
MoL-2018-25 :
Leon Commandeur
Logical Functionalism
MoL-2018-26 :
Max van den Broek
You Don't Believe This Is The Title
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
