La extensión de la teoría de la institución (ordinaria) de Goguen y Burstall, conocida como la teoría de , es un enfoque axiomático general para modelar teorías donde la satisfacción está parametrizada por estados de modelos. Las instituciones estratificadas cubren un amplio rango uniforme de aplicaciones, desde diversas semánticas de Kripke hasta diversas teorías de autómatas e incluso teorías de modelos con morfismos de firma parciales. En este documento, introducimos dos conceptos naturales de interpolación lógica en el nivel abstracto de las instituciones estratificadas y proporcionamos algunas condiciones técnicas suficientes para establecer una relación de causalidad entre ellas. En esencia, estas condiciones equivalen a la existencia de estructuras nominales, que se consideran de forma completa y abstracta.