| 2020 | Modal Type Theory Based on the Intuitionistic Modal Logic $\mathbf{IEL}^{-}$. | Daniel Rogozin |
| 2020 | Tracking Computability of GPAC-Generable Functions. | Diogo Poas, Jeffery I. Zucker |
| 2020 | On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems. | Tim S. Lyon |
| 2020 | Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents. | Tim S. Lyon |
| 2020 | Feedback Hyperjump. | Robert S. Lubarsky |
| 2020 | Knowledge of Uncertain Worlds: Programming with Logical Constraints. | Yanhong A. Liu, Scott D. Stoller |
| 2020 | Finitism, Imperative Programs and Primitive Recursion. | Daniel Leivant |
| 2020 | Belief Expansion in Subset Models. | Eveline Lehmann, Thomas Studer |
| 2020 | On the Constructive Truth and Falsity in Peano Arithmetic. | Hirohiko Kushida |
| 2020 | Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. | Tiziano Dalmonte, Bjrn Lellmann, Nicola Olivetti, Elaine Pimentel |
| 2020 | A Globally Sound Analytic Calculus for Henkin Quantifiers. | Matthias Baaz, Anela Lolic |
| 2020 | Observable Models. | Sergei N. Artmov |
| 2020 | Computability of Algebraic and Definable Closure. | Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel |
| 2020 | Parameterised Complexity of Abduction in Schaefer's Framework. | Yasir Mahmood, Arne Meier, Johannes Schmidt |
| 2020 | Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory. | Yannick Forster, Dominik Kirst, Dominik Wehr |
| 2018 | Interpretations of Presburger Arithmetic in Itself. | Alexander Zapryagaev, Fedor Pakhomov |
| 2018 | A Tableau System for Instantial Neighborhood Logic. | Junhua Yu |
| 2018 | The Completeness of BCD for an Operational Semantics. | Rick Statman |
| 2018 | Metastability and Higher-Order Computability. | Sam Sanders |
| 2018 | A Natural Proof System for Herbrand's Theorem. | Benjamin Ralph |
| 2018 | From Epistemic Paradox to Doxastic Arithmetic. | V. Alexis Peluce |
| 2018 | Dialectica Categories for the Lambek Calculus. | Valeria de Paiva, Harley Eades III |
| 2018 | Separating the Fan Theorem and Its Weakenings II. | Robert S. Lubarsky |
| 2018 | Founded Semantics and Constraint Semantics of Logic Rules. | Yanhong A. Liu, Scott D. Stoller |
| 2018 | On the Sharpness and the Single-Conclusion Property of Basic Justification Models. | Vladimir N. Krupski |