Main Page Navigation
MoL-2024-01 :
Max Pohlmann
Analytic Nondualism: Why Reality is Objectively Subjective
MoL-2024-02 :
Elynn Louise Weijland
An Analysis of Visual and Morphosyntactic Cues in Biased Polar Questions in Dutch
MoL-2024-03 :
Pelle Nelissen
Consistent Judgment Aggregation in Liquid Democracy: Utilizing Delegation Structure in the Ranked Agenda Rule
MoL-2024-04 :
Fiona Spencer-Piacentini
Wondering about Mood in Romance: the view from Italian
MoL-2024-05 :
Lingyuan Ye
Algebraic Monoidal Model Categories and Path Category Structures for Effective Kan Fibrations
MoL-2024-06 :
Wessel Kroon
Knowledge as Issue-Relevant Information
MoL-2024-07 :
Swapnil Ghosh
An Exploration of Contraction Free Arithmetic
MoL-2024-08 :
Justus Becker
Proof Translations for Intuitionistic Modal Logic
MoL-2024-09 :
Liam Chung
Automata Closure Constructions for Kleene Algebra with Hypotheses
MoL-2024-10 :
David Quinn Alvarez
The temporal Heyting calculus
MoL-2024-11 :
Alyssa Renata
Homotopy Theory of Computable Spaces
MoL-2024-12 :
Wouter Smit
Axiomatising Protocol-Dependent Knowledge in Gossip
MoL-2024-13 :
Hannah Van Santvliet
Parameterizing the Notion of Automatability in Proof Complexity
MoL-2024-14 :
Arunavo Ganguly
Characterizing Formulas using Post’s Lattice
MoL-2024-15 :
Paul Seip
A Constructive Small Object Argument
MoL-2024-16 :
Michael A. Müller
Arguing with Doubt
MoL-2024-17 :
Floris Westerman
PageZero: Mitigating Speculative Execution Attacks by Clearing Page Tables
MoL-2024-18 :
Jan W. Gronwald
A Practice-Based Critique of Reverse Mathematics
MoL-2024-19 :
Yilun Wang
Oblivious Transfer from Quantum One-way Functions
PP-2024-01 :
Joop Leo
Reconciling positionalism and antipositionalism
PP-2024-02 :
Francisco Santiago Nieto-de la Rosa, Ulises Ariet Ramos-Garcia, Ana Lucia Vargas-Sandoval, Dick de Jongh
Extending antichains in the poset of the finite subsets of omega
PP-2024-03 :
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
Intuitionistic Master Modality
X-2024-01 :
Eline De Jong
Better secure than sorry? Assessing the quantum cybersecurity 'risk'
X-2024-02 :
Paul Dekker
Conceptual Windows Afford Views on Satisfying Individuals
X-2024-03 :
Simon Rey, Ulle Endriss
A Note on How to Build a Conference Schedule: The Case of ECAI-2024
X-2024-04 :
Paul Dekker
On Presenting Objects in Propositions
X-2024-05 :
Paul Dekker
A Logic for Contextually Restricted Quantification
