Sciweavers

Share
BIRTHDAY
2005
Springer

Fibring Logics: Past, Present and Future

12 years 5 months ago
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.
Carlos Caleiro, Amílcar Sernadas, Cristina
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where BIRTHDAY
Authors Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas
Comments (0)
books