View publication by year:
- MoL-2024-01:
-
Max Pohlmann
Analytic Nondualism: Why Reality is Objectively Subjective
1.Full Text.
- 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
inquisitive predicates - 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
1.Full Text.
- 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
- MoL-2024-20:
- Raufs Duņamalijevs Predicate Pushdown in FastLanes
- 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
1.Full Text.
- 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