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