Fibring Logics: Past, Present and Future

This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from both a model and a proof-theoretic perspective, and give an outline of soundness, completeness and interpolation preservation results. Along the way, we show how the current algebraic semantics of fibring relates with the original ideas of Dov Gabbay. We also analyze the collapsing problem, the challenges it raises, and discuss a number of future research directions.

• Type: Conference
• Year: 2005
• Where: BIRTHDAY
• Authors: Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas
• Keywords: Applied Computing, BIRTHDAY 2005, Current Algebraic Semantics, Future Research Directions, Proof-theoretic Perspective