Skip to main content
SpringerLink
Log in

Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Anupam Das

    1. University of Birmingham, Birmingham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sara Negri

    1. University of Genoa, Genoa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12842)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: TABLEAUX 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. Tableau Calculi

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic

      • Thomas Macaulay Ferguson
      Pages 3-19

    3. Constraint Tableaux for Two-Dimensional Fuzzy Logics

      • Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
      Pages 20-37

    4. Analytic Tableaux for Non-deterministic Semantics

      • Lukas Grätz
      Pages 38-55

    5. Tableaux for Free Logics with Descriptions

      • Andrzej Indrzejczak, Michał Zawidzki
      Pages 56-73

    6. CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT

      • Rajeev Goré, Cormac Kikkert
      Pages 74-91

  3. Sequent Calculi

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. Proof-Theory and Semantics for a Theory of Definite Descriptions

      • Nils Kürbis
      Pages 95-111

    3. Basing Sequent Systems on Exclusive-Or

      • Arnon Avron
      Pages 112-128

    4. Proof Search on Bilateralist Judgments over Non-deterministic Semantics

      • Vitor Greati, Sérgio Marcelino, João Marcos
      Pages 129-146

    5. From Input/Output Logics to Conditional Logics via Sequents – with Provers

      • Björn Lellmann
      Pages 147-164

  4. Theorem Proving

    1. Front Matter

      Pages 165-165
      Download chapter PDF

    2. Towards Finding Longer Proofs

      • Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
      Pages 167-186

    3. lazyCoP: Lazy Paramodulation Meets Neurally Guided Search

      • Michael Rawson, Giles Reger
      Pages 187-199

    4. AC Simplifications and Closure Redundancies in the Superposition Calculus

      • André Duarte, Konstantin Korovin
      Pages 200-217

    5. The Role of Entropy in Guiding a Connection Prover

      • Zsolt Zombori, Josef Urban, Miroslav Olšák
      Pages 218-235

    6. The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics

      • Jens Otten
      Pages 236-249

    7. Eliminating Models During Model Elimination

      • Michael Rawson, Giles Reger
      Pages 250-265

    8. Learning Theorem Proving Components

      • Karel Chvalovský, Jan Jakubův, Miroslav Olšák, Josef Urban
      Pages 266-278
Back to top

Other volumes

  1. Automated Reasoning with Analytic Tableaux and Related Methods

Keywords

About this book

This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, theorem proving, formalized proofs, non-wellfounded proofs, automated theorem provers, and intuitionistic modal logics.

Editors and Affiliations

  • University of Birmingham, Birmingham, UK

    Anupam Das

  • University of Genoa, Genoa, Italy

    Sara Negri

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation