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)

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

About these proceedings

Introduction

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.


Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-66902-1
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-66901-4
  • Online ISBN 978-3-319-66902-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book