Abstract
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for logical systems: we describe how to uniformly construct a sound and complete tableau calculus for the combined logic from calculi for the component logics.
We consider semantic tableau calculi that satisfy certain conditions and are therefore known to be “well-behaved”—such that fibring is possible. The identification and formulation of conditions that are neither too weak nor too strong is a main contribution of this paper.
As an example, we fibre tableau calculi for first order predicate logic and for the modal logic K.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work was carried out during a visit at Imperial College, London, UK.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W. Ahrendt and B. Beckert. An improved δ-rule for ground first-order tableaux. Unpublished draft available from the authors, 1997.
B. Beckert and D. Gabbay. A general framework for fibring semantic tableaux. Unpublished draft available from the authors, 1997.
B. Beckert, R. Hähnle, and P. H. Schmitt. The even more liberalized δ-rule in free variable semantic tableaux. In Proceedings of KGC, LNCS 713. Springer, 1993.
M. D’Agostino and D. Gabbay. Fibred tableaux for multi-implication logics. In Proceedings of TABLEAUX, LNCS 1071. Springer, 1996.
M. D’Agostino, D. Gabbay, R. Hähnle, and J. Posegga, editors. Handbook of Tableau Methods. Kluwer, Dordrecht, 1998. To appear.
D. Gabbay. Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics. Journal of Symbolic Logic, 61:1057–1120, 1996.
D. Gabbay. An overview of fibred semantics and the combination of logics. In Proceedings of FroCoS. Kluwer, Dordrecht, 1996.
D. Gabbay. Fibring Logic. Oxford University Press, 1998. Forthcoming.
D. Gabbay and G. Governatori. Fibred modal tableaux. Draft, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beckert, B., Gabbay, D. (1998). Fibring Semantic Tableaux. In: de Swart, H. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 1998. Lecture Notes in Computer Science(), vol 1397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69778-0_15
Download citation
DOI: https://doi.org/10.1007/3-540-69778-0_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64406-4
Online ISBN: 978-3-540-69778-7
eBook Packages: Springer Book Archive