| 2022 | Small Model Property Reflects in Games and Automata. | Maciej Zielenkiewicz |
| 2022 | Dialectica Logical Principles. | Davide Trotta, Matteo Spadetto, Valeria de Paiva |
| 2022 | Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems. | K. Subramani, Piotr Wojciechowski |
| 2022 | Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic. | Rick Statman |
| 2022 | Propositional Dynamic Logic with Quantification over Regular Computation Sequences. | Igor Sedlr |
| 2022 | Between Turing and Kleene. | Sam Sanders |
| 2022 | Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability. | Daniel Rogozin |
| 2022 | Computability Models over Categories and Presheaves. | Iosif Petrakis |
| 2022 | Betwixt Turing and Kleene. | Dag Normann, Sam Sanders |
| 2022 | On Inverse Operators in Dynamic Epistemic Logic. | Shota Motoura, Shin-ya Katsumata |
| 2022 | Soundness and Completeness Results for LEA and Probability Semantics. | Eoin Moore |
| 2022 | Computational Properties of Partial Non-deterministic Matrices and Their Logics. | Srgio Marcelino, Carlos Caleiro, Pedro Filipe |
| 2022 | Recursive Rules with Aggregation: A Simple Unified Semantics. | Yanhong A. Liu, Scott D. Stoller |
| 2022 | A Logic of Interactive Proofs. | David Lehnherr, Zoran Ognjanovic, Thomas Studer |
| 2022 | A Parameterized View on the Complexity of Dependence Logic. | Juha Kontinen, Arne Meier, Yasir Mahmood |
| 2022 | A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information Distance. | Bjrn Kjos-Hanssen, Saroj Niraula, Soowhan Yoon |
| 2022 | Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic. | Christian Hagemeier, Dominik Kirst |
| 2022 | Parametric Church's Thesis: Synthetic Computability Without Choice. | Yannick Forster |
| 2022 | Hyperarithmetical Worm Battles. | David Fernndez-Duque, Konstantinos Papafilippou, Joost J. Joosten |
| 2022 | Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic. | Neil J. DeBoer |
| 2022 | The Isomorphism Problem for FST Injection Structures. | Douglas Cenzer, Richard Krogman |
| 2022 | Andrews Skolemization May Shorten Resolution Proofs Non-elementarily. | Matthias Baaz, Anela Lolic |
| 2022 | A Non-hyperarithmetical Gdel Logic. | Juan P. Aguilera, Jan Bydzovsky, David Fernndez-Duque |
| 2020 | On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction. | Dan E. Willard |
| 2020 | Lifting Recursive Counterexamples to Higher-Order Arithmetic. | Sam Sanders |