Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 ProceedingsAuthor: Harrie de Swart Published by Springer Berlin Heidelberg ISBN: 978-3-540-64406-4 DOI: 10.1007/3-540-69778-0Table 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