Sciweavers

Share
TABLEAUX
1998
Springer

Fibring Semantic Tableaux

11 years 5 months ago
Fibring Semantic Tableaux
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.
Bernhard Beckert, Dov M. Gabbay
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where TABLEAUX
Authors Bernhard Beckert, Dov M. Gabbay
Comments (0)
books