- Bartosz Piotrowski, Ramon Fernández Mir
, Edward W. Ayers:
Machine-Learned Premise Selection for Lean. TABLEAUX 2023: 175-186 - Michael Rawson
, Christoph Wernhard
, Zsolt Zombori
, Wolfgang Bibel
:
Lemmas: Generation, Selection, Application. TABLEAUX 2023: 153-174 - Alexis Saurin:
A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points. TABLEAUX 2023: 203-222 - Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff:
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. TABLEAUX 2023: 73-93 - Boris Shminke
:
gym-saturation: Gymnasium Environments for Saturation Provers (System description). TABLEAUX 2023: 187-199 - Christoph Wernhard
:
Range-Restricted and Horn Interpolation through Clausal Tableaux. TABLEAUX 2023: 3-23 - Revantha Ramanayake
, Josef Urban
:
Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings. Lecture Notes in Computer Science 14278, Springer 2023, ISBN 978-3-031-43512-6 [contents] - 2021
- Matteo Acclavio
, Davide Catta, Lutz Straßburger:
Game Semantics for Constructive Modal Logic. TABLEAUX 2021: 428-445 - Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata:
Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. TABLEAUX 2021: 335-353 - Arnon Avron
:
Basing Sequent Systems on Exclusive-Or. TABLEAUX 2021: 112-128 - Marta Bílková
, Sabine Frittella
, Daniil Kozhemiachenko
:
Constraint Tableaux for Two-Dimensional Fuzzy Logics. TABLEAUX 2021: 20-37 - Karel Chvalovský
, Jan Jakubuv
, Miroslav Olsák
, Josef Urban
:
Learning Theorem Proving Components. TABLEAUX 2021: 266-278 - Caitlin D'Abrera
, Jeremy E. Dawson
, Rajeev Goré:
A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. TABLEAUX 2021: 281-298 - Tiziano Dalmonte
, Charles Grellois
, Nicola Olivetti
:
Terminating Calculi and Countermodels for Constructive Modal Logics. TABLEAUX 2021: 391-408 - André Duarte
, Konstantin Korovin
:
AC Simplifications and Closure Redundancies in the Superposition Calculus. TABLEAUX 2021: 200-217 - Thomas Macaulay Ferguson
:
Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. TABLEAUX 2021: 3-19 - Rajeev Goré, Cormac Kikkert
:
CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. TABLEAUX 2021: 74-91 - Rajeev Goré, Revantha Ramanayake
, Ian Shillito
:
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. TABLEAUX 2021: 299-313 - Lukas Grätz
:
Analytic Tableaux for Non-deterministic Semantics. TABLEAUX 2021: 38-55 - Vitor Greati
, Sérgio Marcelino
, João Marcos
:
Proof Search on Bilateralist Judgments over Non-deterministic Semantics. TABLEAUX 2021: 129-146 - Andrzej Indrzejczak
, Michal Zawidzki
:
Tableaux for Free Logics with Descriptions. TABLEAUX 2021: 56-73 - Nils Kürbis
:
Proof-Theory and Semantics for a Theory of Definite Descriptions. TABLEAUX 2021: 95-111 - Stepan L. Kuznetsov
:
Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs. TABLEAUX 2021: 317-334 - Björn Lellmann
:
From Input/Output Logics to Conditional Logics via Sequents - with Provers. TABLEAUX 2021: 147-164 - Tim S. Lyon
:
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. TABLEAUX 2021: 409-427 - Johannes Marti, Yde Venema:
A Focus System for the Alternation-Free μ-Calculus. TABLEAUX 2021: 371-388 - Michael Mendler, Stephan Scheele, Luke Burke:
The Došen Square Under Construction: A Tale of Four Modalities. TABLEAUX 2021: 446-465 - Jens Otten
:
The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. TABLEAUX 2021: 236-249 - Michael Rawson, Giles Reger:
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. TABLEAUX 2021: 187-199 - Michael Rawson, Giles Reger:
Eliminating Models During Model Elimination. TABLEAUX 2021: 250-265