| 2021 | A Focus System for the Alternation-Free μ-Calculus. Johannes Marti, Yde Venema |
| 2021 | A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Goré |
| 2021 | AC Simplifications and Closure Redundancies in the Superposition Calculus. André Duarte, Konstantin Korovin |
| 2021 | Analytic Tableaux for Non-deterministic Semantics. Lukas Grätz |
| 2021 | Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings Anupam Das, Sara Negri |
| 2021 | Basing Sequent Systems on Exclusive-Or. Arnon Avron |
| 2021 | CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. Rajeev Goré, Cormac Kikkert |
| 2021 | Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs. Stepan L. Kuznetsov |
| 2021 | Constraint Tableaux for Two-Dimensional Fuzzy Logics. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko |
| 2021 | Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. Rajeev Goré, Revantha Ramanayake, Ian Shillito |
| 2021 | Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality. Jan Rooduijn |
| 2021 | Eliminating Models During Model Elimination. Michael Rawson, Giles Reger |
| 2021 | From Input/Output Logics to Conditional Logics via Sequents - with Provers. Björn Lellmann |
| 2021 | Game Semantics for Constructive Modal Logic. Matteo Acclavio, Davide Catta, Lutz Straßburger |
| 2021 | Learning Theorem Proving Components. Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban |
| 2021 | Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. Tim S. Lyon |
| 2021 | Proof Search on Bilateralist Judgments over Non-deterministic Semantics. Vitor Greati, Sérgio Marcelino, João Marcos |
| 2021 | Proof-Theory and Semantics for a Theory of Definite Descriptions. Nils Kürbis |
| 2021 | Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. Thomas Macaulay Ferguson |
| 2021 | Tableaux for Free Logics with Descriptions. Andrzej Indrzejczak, Michal Zawidzki |
| 2021 | Terminating Calculi and Countermodels for Constructive Modal Logics. Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
| 2021 | The Došen Square Under Construction: A Tale of Four Modalities. Michael Mendler, Stephan Scheele, Luke Burke |
| 2021 | The Role of Entropy in Guiding a Connection Prover. Zsolt Zombori, Josef Urban, Miroslav Olsák |
| 2021 | The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. Jens Otten |
| 2021 | Towards Finding Longer Proofs. Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban |
| 2021 | Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata |
| 2021 | lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. Michael Rawson, Giles Reger |