Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

  • Renate A. Schmidt
  • Cláudia Nalon
Conference proceedings TABLEAUX 2017

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 10501)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
      Pages 22-43
  3. Sequent Systems

    1. Front Matter
      Pages 63-63
    2. Sonia Marin, Lutz Straßburger
      Pages 81-97
    3. Christian G. Fermüller, Timo Lang
      Pages 98-113
    4. Camillo Fiorentini, Mauro Ferrari
      Pages 114-130
    5. Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
      Pages 131-148
    6. Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis
      Pages 149-159
  4. Tableaux

    1. Front Matter
      Pages 161-161
    2. Peter Baumgartner, Sylvie Thiébaux, Felipe Trevizan
      Pages 175-192
    3. Serenella Cerrito, Amélie David
      Pages 193-208
    4. Dmitry Tishkovsky, Renate A. Schmidt
      Pages 228-244 Open Access
  5. Transitive Closure and Cyclic Proofs

    1. Front Matter
      Pages 245-245
    2. Anupam Das, Damien Pous
      Pages 261-277
    3. David M. Cerna, Michael Lettmann
      Pages 278-294
    4. Sorin Stratulat
      Pages 311-327
  6. Formalization and Complexity

    1. Front Matter
      Pages 329-329
    2. Peter H. Schmitt
      Pages 331-346
    3. Mateus de Oliveira Oliveira
      Pages 364-380
  7. Back Matter
    Pages 381-381

About these proceedings


This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. 

The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.


Automated reasoning Equational logic and rewriting Formal logic Higher-order logic Logic and verification Modal and temporal logics Problem solving Program semantics Programming language Proof theory Semantics Software engineering Temporal reasoning Theorem proving algorithms

Editors and affiliations

  • Renate A. Schmidt
    • 1
  • Cláudia Nalon
    • 2
  1. 1.University of ManchesterManchesterUnited Kingdom
  2. 2.University of BrasíliaBrasília D.F.Brazil

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences