Stratified institutions and elementary homomorphisms
References (22)
- F. Barbier, Géneralisation et préservation au travers de la combinaison des logique des résultats de théorie des...
- et al.
On the integration of the observability and reachability concepts
Higher-order logic and theorem proving for structured specifications
- et al.
Model Theory
(1990) Institutionalising many-sorted coalgebraic modal logic
Coalgebraic methods in computer science 2002
Electronic Notes in Theoretical Computer Science
(2002)- R. Diaconescu, Institution-independent Model Theory, Book draft. (Ask author for current draft at...
Institution-independent ultraproducts
Fundamenta Informaticæ
(2003)- et al.
Behavioural coherence in object-oriented algebraic specification
Universal Computer Science
(2000) - et al.
Mirror, mirror in my hand: A duality between specifications and models of process behaviour
Mathematical Structures in Computer Science
(1996) Fibring Logics
(1999)
Institutions: Abstract model theory for specification and programming
Journal of the Association for Computing Machinery
(1992)
Cited by (18)
Foundations of logic programming in hybrid logics with user-defined sharing
2017, Theoretical Computer ScienceCitation Excerpt :Informally, hybrid institutions are institutions whose signatures are equipped with nominals and modalities and whose models are Kripke structures. Hybrid institutions are refinements of stratified institutions that were introduced in [1] to enhance the concept of institution with ‘states’ for the models. Hybrid institution
Encoding hybridized institutions into first-order logic
2014, Mathematical Structures in Computer ScienceA logical framework combining model and proof theory
2013, Mathematical Structures in Computer ScienceDecompositions of stratified institutions
2023, Journal of Logic and ComputationAbstract Categorical Logic
2023, Logica UniversalisThe Axiomatic Approach to Non-Classical Model Theory
2022, Mathematics
Copyright © 2007 Elsevier B.V. All rights reserved.