Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics

Etude abstraite de la theorie des modeles des logiques modales. Etablissement d'une propriete d'interpolation uniforme