Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX&#039,98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings
Author: Harrie de Swart
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-64406-4
DOI: 10.1007/3-540-69778-0

Table of Contents:

• Philosophical Aspects of Computerized Verification of Mathematics
• A Science of Reasoning (Extended Abstract)
• Model Checking: Historical Perspective and Example (Extended Abstract)
• Comparison of Theorem Provers for Modal Logics — Introduction and Summary
• FaCT and DLP
• Prover KT4
• leanK 2.0
• Logics Workbench 1.0
• Optimised Functional Translation and Resolution
• Benchmark Evaluation of □KE
• Implementation of Propositional Temporal Logics Using BDDs
• Computer Programming as Mathematics in a Programming Language and Proof System CL
• A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results
• Hyper Tableau — The Next Generation
• Fibring Semantic Tableaux
• A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
• A Tableau Method for Interval Temporal Logic with Projection
• Bounded Model Search in Linear Temporal Logic and Its Application to Planning
• On Proof Complexity of Circumscription
• Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities

"This volume contains the papers presented at TABLEAUX'98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, the Netherlands"--Preface
Includes bibliographical references and index