- Sama Agahi. Self-Sufficiency of Logics: A Framework for Metalogical Constraints
- Frederik J. Andersen. On the epistemic significance of convergence in logical theorizing
- Davide Botticchio. A Non-bivalent Naïve Validity Theory
- Søren Brinck Knudstorp. Undecidability in Relevant Logic
- Luca Castaldo. Determinateness in a Classical Theory of Nonclassical Truth
- Ludovica Conti. Weak Impredicativity and Frege’s Grundgesetze
- Charles Crumpler. Cut for Negative Free Classical Core Logic with Equality and a Variable-binding, Term-forming Operator
- Hans van Ditmarsch, Valentin Goranko and Yanjing Wang. The Quest for Ultimate Ignorance I. Iterated ignorance is complex!
- Mirko Engler. Rigid Theories
- Sebastian Enqvist-Pyk. From Herbrand schemes to functional interpretation
- Eduardo Giovannini and Georg Schiemer. Formal Content and Equivalence in Mathematics
- Alexander Gheorghiu. A Proof-theoretic Foundation for Mathematics
- Santiago Jockwich Martinez. Should we worry about Duplication?
- Barteld Kooi and Allard Tamminga. From Tonk to Harmony via Identity and Cut
- Wessel Kroon. Partition-Based Topic-Sensitive Intentional Modals
- Lars Kristiansen. From a computability-theoretic point of view: The real numbers and their representations
- Chirine Yasmine Laghjichi. Atomic steps of computation and β-reductions
- Orvar Lorimer-Olsson. Semantic Plurivalence is Logically Idempotent
- Karl Nygren. Announcing alternatives
- Mina Young Pedersen and Sonja Smets. Logical Modeling of Belief Polarization
- Alexandru Petrisor. Truthmaker Semantics and Hempelian Explanation in Mathematics
- Jørgen Villadsen. Formalizing a Concise Axiomatic System for Classical Propositional Logic in Isabelle/HOL
- Michał Walicki. The definability of truth in LSO
- Uwe Wolter. Licensing Hypothetical Reasoning
- Qianli Zeng. A Jónsson-Tarski-Goldblatt Representation and Frame Definability for Noncontingency Logic