Abstract

Combining logics in an important topic in applied logics [7, 1] that raises interesting theoretical problems related to transference results. The objective is to produce a new logic from two (or more) given logics by using a meta operator – the combination mechanism. Of special interest is to investigate whether the mechanism preserves logical properties of the original logics. In general, sufficient conditions can be given for preservation. Fibring, proposed by Gabbay in [5], is one of the most challenging mechanisms for combining logics, which includes fusion of modal logics [10] as a particular case. Fibring can be and has been investigated from a deductive point of view (mainly using Hilbert calculi [11], labelled deductive systems [8] and tableau systems [2]) and also from a model-theoretic perspective (using either an algebraic approach or a modal-like semantics [6]). Several transference results have been obtained for these constructions, namely for soundness and completeness [11], several guises of interpolation and semi-decidability. Up to now, work on fibring sequent calculi has not been considered. A possibility

Citations