Tableau Methods for Modal and Temporal Logics

Publisher Website

1 January 1999

book chapter
Published by Springer Nature

p. 297-396
https://doi.org/10.1007/978-94-017-1754-0_6

Abstract

No abstract available

Keywords

This publication has 50 references indexed in Scilit:

leanTAP: Lean tableau-based deduction
Journal of Automated Reasoning, 1995
Theorem Proving with Analytic Tableaux and Related Methods
Published by Springer Nature ,1995
TABLEAUX: A general theorem prover for modal logics
Journal of Automated Reasoning, 1991
On the Proof Theory of the Modal Logic Grz
Mathematical Logic Quarterly, 1986
Melvin Fitting. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp.
The Journal of Symbolic Logic, 1985
A system of natural deduction for GL
Theoria, 1985
On modal systems having arithmetical interpretations
The Journal of Symbolic Logic, 1984
On some proof theoretical properties of the modal logic GL
Studia Logica, 1983
An algebraic study of Diodorean modal systems
The Journal of Symbolic Logic, 1965
On Padoa’s Method in the Theory of Definition
Indagationes Mathematicae, 1953