Răzvan Diaconescu2025-02-252025-02-252023jz000116-0006https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10602Concepts of Interpolation in Stratified InstitutionsArticlehttps://doi.org/10.3390/logics1020005