Affiliation:
1. Simion Stoilow Institute of Mathematics of the Romanian Academy, 010702 Bucharest, Romania
Abstract
The extension of the (ordinary) institution theory of Goguen and Burstall, known as the theory of stratified institutions, is a general axiomatic approach to model theories where the satisfaction is parameterized by states of models. Stratified institutions cover a uniformly wide range of applications from various Kripke semantics to various automata theories and even model theories with partial signature morphisms. In this paper, we introduce two natural concepts of logical interpolation at the abstract level of stratified institutions and we provide some sufficient technical conditions in order to establish a causality relationship between them. In essence, these conditions amount to the existence of nominals structures, which are considered fully and abstractly.
Funder
Romanian Ministry of Education and Research, CNCS—UEFISCDI
Reference49 articles.
1. Institutions: Abstract Model Theory for Specification and Programming;Goguen;J. Assoc. Comput. Mach.,1992
2. Sannella, D., and Tarlecki, A. (2012). Foundations of Algebraic Specifications and Formal Software Development, Springer.
3. Diaconescu, R. (2008). Institution-Independent Model Theory, Birkhäuser.
4. Modality in Open Institutions with Concrete Syntax;Diaconescu;Bull. Greek Math. Soc.,2004
5. Stratified institutions and elementary homomorphisms;Aiguier;Inf. Process. Lett.,2007