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 share record
persistent URL:
Gabriel Ebner : Herbrand Constructivization for Automated Intuitionistic Theorem Proving. TABLEAUX 2019 : 355-373 export record
dblp key:
conf/tableaux/EchenimIP19 share record
persistent URL:
Mnacho Echenim , Radu Iosif , Nicolas Peltier : Prenex Separation Logic with One Selector Field. TABLEAUX 2019 : 409-427 export record
dblp key:
conf/tableaux/FiorentiniGG19 share record
persistent URL:
Camillo Fiorentini , Rajeev Goré , Stéphane Graham-Lengrand : A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic. TABLEAUX 2019 : 111-129 share record
persistent URL:
Daniel Gâinâ , Ionut Tutu : Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. TABLEAUX 2019 : 277-293 export record
dblp key:
conf/tableaux/GalmicheMM19 share record
persistent URL:
Didier Galmiche , Michel Marti , Daniel Méry : Relating Labelled and Label-Free Bunched Calculi in BI Logic. TABLEAUX 2019 : 130-146 share record
persistent URL:
Luca Geatti , Nicola Gigante , Angelo Montanari : A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. TABLEAUX 2019 : 3-20 export record
dblp key:
conf/tableaux/GoertzelJU19 share record
persistent URL:
Zarathustra Amadeus Goertzel , Jan Jakubuv , Josef Urban : ENIGMAWatch: ProofWatch Meets ENIGMA. TABLEAUX 2019 : 374-388 share record
persistent URL:
Rajeev Goré , Björn Lellmann : Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. TABLEAUX 2019 : 185-202 export record
dblp key:
conf/tableaux/Kamburjan19 share record
persistent URL:
Eduard Kamburjan : Behavioral Program Logic. TABLEAUX 2019 : 391-408 share record
persistent URL:
Timo Lang , Carlos Olarte , Elaine Pimentel , Christian G. Fermüller : A Game Model for Proofs with Costs. TABLEAUX 2019 : 241-258 share record
persistent URL:
Björn Lellmann : Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels. TABLEAUX 2019 : 203-220 export record
dblp key:
conf/tableaux/LeusteanMS19 share record
persistent URL:
Ioana Leustean , Natalia Moanga , Traian-Florin Serbanuta : Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. TABLEAUX 2019 : 446-476 share record
persistent URL:
Chu Min Li , Felip Manyà , Joan Ramon Soler : A Tableau Calculus for Non-clausal Maximum Satisfiability. TABLEAUX 2019 : 58-73 share record
persistent URL:
Anthony Lick : A Hypersequent Calculus with Clusters for Data Logic over Ordinals. TABLEAUX 2019 : 166-184 export record
dblp key:
conf/tableaux/MartinsPL19 share record
persistent URL:
João G. Martins , André Platzer , João Leite : Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. TABLEAUX 2019 : 428-445 share record
persistent URL:
Rémi Nollet , Alexis Saurin , Christine Tasson : PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points. TABLEAUX 2019 : 317-334 export record
dblp key:
conf/tableaux/PimentelRL19 share record
persistent URL:
Elaine Pimentel , Revantha Ramanayake , Björn Lellmann : Sequentialising Nested Systems. TABLEAUX 2019 : 147-165 share record
persistent URL:
Benjamin Ralph , Lutz Straßburger : Towards a Combinatorial Proof Theory. TABLEAUX 2019 : 259-276 share record
persistent URL:
Serenella Cerrito , Andrei Popescu : Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Lecture Notes in Computer Science 11714, Springer 2019 , ISBN 978-3-030-29025-2 [contents]