An overview of fibred semantics and the combination of logics
Dov M. Gabbay · 1998
Abstract The purpose of this chapter is to present an intuitive explanation of the author ‘s fibred semantics methodology for combining logics and systems, and to give a brief overview of the main results, ideas and open problems in the book.