export record
dblp key:
conf/tableaux/ChvalovskyJOU21 share record
persistent URL:
Karel Chvalovský , Jan Jakubuv , Miroslav Olsák , Josef Urban : Learning Theorem Proving Components. TABLEAUX 2021 : 266-278 export record
dblp key:
conf/tableaux/DAbreraDG21 share record
persistent URL:
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 export record
dblp key:
conf/tableaux/DalmonteGO21 share record
persistent URL:
Tiziano Dalmonte , Charles Grellois , Nicola Olivetti : Terminating Calculi and Countermodels for Constructive Modal Logics. TABLEAUX 2021 : 391-408 share record
persistent URL:
André Duarte , Konstantin Korovin : AC Simplifications and Closure Redundancies in the Superposition Calculus. TABLEAUX 2021 : 200-217 share record
persistent URL:
Thomas Macaulay Ferguson : Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. TABLEAUX 2021 : 3-19 share record
persistent URL:
Rajeev Goré , Cormac Kikkert : CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. TABLEAUX 2021 : 74-91 share record
persistent URL:
Rajeev Goré , Revantha Ramanayake , Ian Shillito : Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. TABLEAUX 2021 : 299-313 share record
persistent URL:
Lukas Grätz : Analytic Tableaux for Non-deterministic Semantics. TABLEAUX 2021 : 38-55 share record
persistent URL:
Vitor Greati , Sérgio Marcelino , João Marcos : Proof Search on Bilateralist Judgments over Non-deterministic Semantics. TABLEAUX 2021 : 129-146 export record
dblp key:
conf/tableaux/IndrzejczakZ21 share record
persistent URL:
Andrzej Indrzejczak , Michal Zawidzki : Tableaux for Free Logics with Descriptions. TABLEAUX 2021 : 56-73 share record
persistent URL:
Nils Kürbis : Proof-Theory and Semantics for a Theory of Definite Descriptions. TABLEAUX 2021 : 95-111 export record
dblp key:
conf/tableaux/Kuznetsov21 share record
persistent URL:
Stepan L. Kuznetsov : Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs. TABLEAUX 2021 : 317-334 share record
persistent URL:
Björn Lellmann : From Input/Output Logics to Conditional Logics via Sequents - with Provers. TABLEAUX 2021 : 147-164 share record
persistent URL:
Tim S. Lyon : Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. TABLEAUX 2021 : 409-427 share record
persistent URL:
Johannes Marti , Yde Venema : A Focus System for the Alternation-Free μ-Calculus. TABLEAUX 2021 : 371-388 export record
dblp key:
conf/tableaux/MendlerSB21 share record
persistent URL:
Michael Mendler , Stephan Scheele , Luke Burke : The Došen Square Under Construction: A Tale of Four Modalities. TABLEAUX 2021 : 446-465 share record
persistent URL:
Jens Otten : The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. TABLEAUX 2021 : 236-249 share record
persistent URL:
Michael Rawson , Giles Reger : lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. TABLEAUX 2021 : 187-199 share record
persistent URL:
Michael Rawson , Giles Reger : Eliminating Models During Model Elimination. TABLEAUX 2021 : 250-265 share record
persistent URL:
Jan Rooduijn : Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality. TABLEAUX 2021 : 354-370 export record
dblp key:
conf/tableaux/ZomboriCMKU21 share record
persistent URL:
Zsolt Zombori , Adrián Csiszárik , Henryk Michalewski , Cezary Kaliszyk , Josef Urban : Towards Finding Longer Proofs. TABLEAUX 2021 : 167-186 export record
dblp key:
conf/tableaux/ZomboriUO21 share record
persistent URL:
Zsolt Zombori , Josef Urban , Miroslav Olsák : The Role of Entropy in Guiding a Connection Prover. TABLEAUX 2021 : 218-235 share record
persistent URL:
Anupam Das , Sara Negri : Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings. Lecture Notes in Computer Science 12842, Springer 2021 , ISBN 978-3-030-86058-5 [contents] 2019 share record
persistent URL:
Michael Färber , Cezary Kaliszyk : Certification of Nonclausal Connection Tableaux Proofs. TABLEAUX 2019 : 21-38 export record
dblp key:
conf/tableaux/AcclavioS19 share record
persistent URL:
Matteo Acclavio , Lutz Straßburger : On Combinatorial Proofs for Modal Logic. TABLEAUX 2019 : 223-240 share record
persistent URL:
Katarina Britz , Ivan Varzinczak : Preferential Tableaux for Contextual Defeasible ALC . TABLEAUX 2019 : 39-57 export record
dblp key:
conf/tableaux/CiabattoniLR19 share record
persistent URL:
Agata Ciabattoni , Timo Lang , Revantha Ramanayake : Bounded Sequent Calculi for Non-classical Logics via Hypersequents. TABLEAUX 2019 : 94-110 share record
persistent URL:
Abhishek De , Alexis Saurin : Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory. TABLEAUX 2019 : 297-316 export record
dblp key:
conf/tableaux/DochertyR19 share record
persistent URL:
Simon Docherty , Reuben N. S. Rowe : A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. TABLEAUX 2019 : 335-352 share record
persistent URL:
Yotam Dvir , Arnon Avron : First-Order Quasi-canonical Proof Systems. TABLEAUX 2019 : 77-93