Skip to main content
SpringerLink
Log in
Book cover

Automated Reasoning with Analytic Tableaux and Related Methods

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Renate A. Schmidt

    1. University of Manchester, Manchester, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Cláudia Nalon

    1. University of Brasília, Brasília D.F., Brazil

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

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

Included in the following conference series:

Conference proceedings info: TABLEAUX 2017.

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 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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 (22 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Vision for Automated Deduction Rooted in the Connection Method

      • Wolfgang Bibel
      Pages 3-21

    3. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

      • Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
      Pages 22-43

    4. On the Decidability of Certain Semi-Lattice Based Modal Logics

      • Katalin Bimbó
      Pages 44-61

  3. Sequent Systems

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. Cut-Admissibility as a Corollary of the Subformula Property

      • Ori Lahav, Yoni Zohar
      Pages 65-80

    3. Proof Theory for Indexed Nested Sequents

      • Sonia Marin, Lutz Straßburger
      Pages 81-97

    4. Interpreting Sequent Calculi as Client-Server Games

      • Christian G. Fermüller, Timo Lang
      Pages 98-113

    5. A Forward Unprovability Calculus for Intuitionistic Propositional Logic

      • Camillo Fiorentini, Mauro Ferrari
      Pages 114-130

    6. Hypersequent Calculi for Lewis’ Conditional Logics with Uniformity and Reflexivity

      • Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
      Pages 131-148

    7. VINTE: An Implementation of Internal Calculi for Lewis’ Logics of Counterfactual Reasoning

      • Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis
      Pages 149-159

  4. Tableaux

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. Goal-Sensitive Reasoning with Disconnection Tableaux

      • Lee A. Barnett
      Pages 163-174

    3. Tableaux for Policy Synthesis for MDPs with PCTL* Constraints

      • Peter Baumgartner, Sylvie Thiébaux, Felipe Trevizan
      Pages 175-192

    4. Minimisation of ATL\(^*\) Models

      • Serenella Cerrito, Amélie David
      Pages 193-208

    5. Non-clausal Connection Calculi for Non-classical Logics

      • Jens Otten
      Pages 209-227

    6. Rule Refinement for Semantic Tableau Calculi

      • Dmitry Tishkovsky, Renate A. Schmidt
      Pages 228-244Open Access

  5. Transitive Closure and Cyclic Proofs

    1. Front Matter

      Pages 245-245
      Download chapter PDF

    2. Completeness for Ancestral Logic via a Computationally-Meaningful Semantics

      • Liron Cohen
      Pages 247-260
Back to top

Other volumes

  1. Automated Reasoning with Analytic Tableaux and Related Methods

Keywords

About this book

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.


Editors and Affiliations

  • University of Manchester, Manchester, United Kingdom

    Renate A. Schmidt

  • University of Brasília, Brasília D.F., Brazil

    Cláudia Nalon

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation