Skip to main content
SpringerLink
Log in

Automated Reasoning with Analytic Tableaux and Related Methods

28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Serenella Cerrito

    1. IBISC, Univ. Evry, Université Paris-Saclay, Evry, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrei Popescu

    1. Middlesex University London, London, UK

    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 11714)

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

Included in the following conference series:

Conference proceedings info: TABLEAUX 2019.

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 (25 papers)

  1. Front Matter

    Pages i-xxi
    Download chapter PDF

  2. Tableau Calculi

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL

      • Luca Geatti, Nicola Gigante, Angelo Montanari
      Pages 3-20

    3. Certification of Nonclausal Connection Tableaux Proofs

      • Michael Färber, Cezary Kaliszyk
      Pages 21-38

    4. Preferential Tableaux for Contextual Defeasible \(\mathcal {ALC}\)

      • Katarina Britz, Ivan Varzinczak
      Pages 39-57

    5. A Tableau Calculus for Non-clausal Maximum Satisfiability

      • Chu Min Li, Felip Manyà, Joan Ramon Soler
      Pages 58-73

  3. Sequent Calculi

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. First-Order Quasi-canonical Proof Systems

      • Yotam Dvir, Arnon Avron
      Pages 77-93

    3. Bounded Sequent Calculi for Non-classical Logics via Hypersequents

      • Agata Ciabattoni, Timo Lang, Revantha Ramanayake
      Pages 94-110

    4. A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic

      • Camillo Fiorentini, Rajeev Goré, Stéphane Graham-Lengrand
      Pages 111-129

    5. Relating Labelled and Label-Free Bunched Calculi in BI Logic

      • Didier Galmiche, Michel Marti, Daniel Méry
      Pages 130-146

    6. Sequentialising Nested Systems

      • Elaine Pimentel, Revantha Ramanayake, Björn Lellmann
      Pages 147-165

    7. A Hypersequent Calculus with Clusters for Data Logic over Ordinals

      • Anthony Lick
      Pages 166-184

    8. Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents

      • Rajeev Goré, Björn Lellmann
      Pages 185-202

    9. Combining Monotone and Normal Modal Logic in Nested Sequents – with Countermodels

      • Björn Lellmann
      Pages 203-220

  4. Semantics and Combinatorial Proofs

    1. Front Matter

      Pages 221-221
      Download chapter PDF

    2. On Combinatorial Proofs for Modal Logic

      • Matteo Acclavio, Lutz Straßburger
      Pages 223-240

    3. A Game Model for Proofs with Costs

      • Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
      Pages 241-258

    4. Towards a Combinatorial Proof Theory

      • Benjamin Ralph, Lutz Straßburger
      Pages 259-276

    5. Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

      • Daniel Găină, Ionuţ Ţuţu
      Pages 277-293
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 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. 

The 25 full papers presented were carefully reviewed and selected from 43 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, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification.

Editors and Affiliations

  • IBISC, Univ. Evry, Université Paris-Saclay, Evry, France

    Serenella Cerrito

  • Middlesex University London, London, UK

    Andrei Popescu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation