Skip to main content
SpringerLink
Log in

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Roy Dyckhoff

    1. School of Computer Science, University of St Andrews, Scotland

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

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

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

  1. Research Papers

    1. A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics

      • Enrico Giunchiglia, Armando Tacchella
      Pages 237-251

    2. Dual Intuitionistic Logic Revisited

      • Rajeev Goré
      Pages 252-267

    3. Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions

      • Raymond D. Gumb
      Pages 268-278

    4. Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints

      • Ortrun Ibens
      Pages 279-293

    5. Matrix-Based Inductive Theorem Proving

      • Christoph Kreitz, Brigitte Pientka
      Pages 294-308

    6. Monotonic Preorders for Free Variable Tableaux

      • Pedro J. Martín, Antonio Gavilanes
      Pages 309-323

    7. The Mosaic Method for Temporal Logics

      • Maarten Marx, Szabolcs Mikulás, Mark Reynolds
      Pages 324-340

    8. Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5

      • Linh Anh Nguyen
      Pages 341-351

    9. A Tableau Calculus for Equilibrium Entailment

      • David Pearce, Inmaculada P. de Guzmán, Agustín Valverde
      Pages 352-367

    10. Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory

      • Carla Piazza, Alberto Policriti
      Pages 368-382

    11. Tableau Calculus for Only Knowing and Knowing At Most

      • Riccardo Rosati
      Pages 383-397

    12. A Tableau-Like Representation Framework for Efficient Proof Reconstruction

      • Stephan Schmitt
      Pages 398-414

    13. The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson’s Arithmetic Q

      • Dan E. Willard
      Pages 415-430

  2. System Descriptions

    1. Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO

      • Joachim Draeger
      Pages 431-435

    2. E-SETHEO: An Automated3 Theorem Prover

      • Gernot Stenz, Andreas Wolf
      Pages 436-440

  3. Back Matter

    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • School of Computer Science, University of St Andrews, Scotland

    Roy Dyckhoff

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation