| 2023 | Range-Restricted and Horn Interpolation through Clausal Tableaux. | Christoph Wernhard |
| 2023 | gym-saturation: Gymnasium Environments for Saturation Provers (System description). | Boris Shminke |
| 2023 | A New Calculus for Intuitionistic Strong Lb Logic: Strong Termination and Cut-Elimination, Formalised. | Ian Shillito, Iris van der Giessen, Rajeev Gor, Rosalie Iemhoff |
| 2023 | A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points. | Alexis Saurin |
| 2023 | Lemmas: Generation, Selection, Application. | Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel |
| 2023 | Machine-Learned Premise Selection for Lean. | Bartosz Piotrowski, Ramon Fernndez Mir, Edward W. Ayers |
| 2023 | Testing the Satisfiability of Formulas in Separation Logic with Permissions. | Nicolas Peltier |
| 2023 | Resolution Calculi for Non-normal Modal Logics. | Dirk Pattinson, Nicola Olivetti, Cludia Nalon |
| 2023 | Nested Sequents for Quantified Modal Logics. | Tim S. Lyon, Eugenio Orlandelli |
| 2023 | Some Analytic Systems of Rules. | Timo Lang |
| 2023 | A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions. | Andrzej Indrzejczak, Nils Krbis |
| 2023 | Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators. | Andrzej Indrzejczak |
| 2023 | The MaxSAT Problem in the Real-Valued MV-Algebra. | Zuzana Hanikov, Felip Many, Amanda Vidal |
| 2023 | Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
| 2023 | Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. | Alexander V. Gheorghiu, Tao Gu, David J. Pym |
| 2023 | A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. | Asta Halkjr From, Jrgen Villadsen |
| 2023 | Non-Classical Logics in Satisfiability Modulo Theories. | Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovcs |
| 2023 | Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. | Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema |
| 2023 | On Intuitionistic Diamonds (and Lack Thereof). | Anupam Das, Sonia Marin |
| 2023 | CoNP Complexity for Combinations of Non-normal Modal Logics. | Tiziano Dalmonte, Andrea Mazzullo |
| 2023 | The Logic of Separation Logic: Models and Proofs. | Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw |
| 2023 | Non-distributive Description Logic. | Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere |
| 2023 | DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. | Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann |
| 2023 | Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. | Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger |
| 2023 | Canonicity of Proofs in Constructive Modal Logic. | Matteo Acclavio, Davide Catta, Federico Olimpieri |