Bits and pieces of the theory of institutions
Proceedings of a tutorial and workshop on Category theory and computer programming
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Towards an algebraic semantics for the object paradigm
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Combining and representing logical systems using model-theoretic parchments
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Higher-Order Logic and Theorem Proving for Structured Specifications
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Institution-independent ultraproducts
Fundamenta Informaticae
Institution-independent Model Theory
Institution-independent Model Theory
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
| Hi-index | 0.89 |
For conventional logic institutions, when one extends the sentences to contain open sentences, their satisfaction is then parameterized. For instance, in the first-order logic, the satisfaction is parameterized by the valuation of unbound variables, while in modal logics it is further by possible worlds. This paper proposes a uniform treatment of such parameterization of the satisfaction relation within the abstract setting of logics as institutions, by defining the new notion of stratified institutions. In this new framework, the notion of elementary model homomorphisms is defined independently of an internal stratification or elementary diagrams. At this level of abstraction, a general Tarski style study of connectives is developed. This is an abstract unified approach to the usual Boolean connectives, to quantifiers, and to modal connectives. A general theorem subsuming Tarski's elementary chain theorem is then proved for stratified institutions with this new notion of connectives.