| 2021 | The Role of Entropy in Guiding a Connection Prover. | Zsolt Zombori, Josef Urban, Miroslav Olsk |
| 2021 | Towards Finding Longer Proofs. | Zsolt Zombori, Adrin Csiszrik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban |
| 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 | lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. | Michael Rawson, Giles Reger |
| 2021 | The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. | Jens Otten |
| 2021 | The Došen Square Under Construction: A Tale of Four Modalities. | Michael Mendler, Stephan Scheele, Luke Burke |
| 2021 | A Focus System for the Alternation-Free μ-Calculus. | Johannes Marti, Yde Venema |
| 2021 | Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. | Tim S. Lyon |
| 2021 | From Input/Output Logics to Conditional Logics via Sequents - with Provers. | Bjrn Lellmann |
| 2021 | Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs. | Stepan L. Kuznetsov |
| 2021 | Proof-Theory and Semantics for a Theory of Definite Descriptions. | Nils Krbis |
| 2021 | Tableaux for Free Logics with Descriptions. | Andrzej Indrzejczak, Michal Zawidzki |
| 2021 | Proof Search on Bilateralist Judgments over Non-deterministic Semantics. | Vitor Greati, Srgio Marcelino, Joo Marcos |
| 2021 | Analytic Tableaux for Non-deterministic Semantics. | Lukas Grtz |
| 2021 | Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. | Rajeev Gor, Revantha Ramanayake, Ian Shillito |
| 2021 | CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. | Rajeev Gor, Cormac Kikkert |
| 2021 | Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. | Thomas Macaulay Ferguson |
| 2021 | AC Simplifications and Closure Redundancies in the Superposition Calculus. | Andr Duarte, Konstantin Korovin |
| 2021 | Terminating Calculi and Countermodels for Constructive Modal Logics. | Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
| 2021 | A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. | Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Gor |
| 2021 | Learning Theorem Proving Components. | Karel Chvalovsk, Jan Jakubuv, Miroslav Olsk, Josef Urban |
| 2021 | Constraint Tableaux for Two-Dimensional Fuzzy Logics. | Marta Blkov, Sabine Frittella, Daniil Kozhemiachenko |
| 2021 | Basing Sequent Systems on Exclusive-Or. | Arnon Avron |
| 2021 | Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. | Bahareh Afshari, Graham E. Leigh, Guillermo Menndez Turata |