Interpolation in modal logic

Abstract

The interpolation property and Robinson's consistency property are important tools for applying logic to software engineering. We provide a uniform technique for proving the Interpolation Property, using the notion of bisimulation. For modal logics, this leads to simple, easy- to-check conditions on the logic which imply interpolation. We apply this result to fibering of modal logics and to modal logics of knowledge and belief.