A model theory that is independent of any concrete logical system allows a general handling
of a large variety of logics. This generality can be achieved by applying the theory of …

CASL, the Common Algebraic Specification Language, was designed by the members of
CoFI, the Common Framework Initiative for algebraic specification and development, and is …

Institution theory represents the fully axiomatic approach to model theory in which all
components of logical systems are treated fully abstractly by reliance on category theory …

This paper builds on the theory of institutions, a version of abstract model theory that
emerged in computer science studies of software specification and semantics. To handle …

We develop an initial study of interpolation for graded consequence relations, which are
many-valued consequence relations that arise in connection to many-valued/fuzzy logics …

For the specification of large software systems, heterogeneous multi-logic specifications are
needed, since complex problems have different aspects that are best specified in different …

The definition of institution formalizes the intuitive notion of logic in a category-based setting.
Similarly, the concept of stratified institution provides an abstract approach to Kripke …

We generalise the ultraproducts method from conventional model theory to an institution-
independent (ie independent of the details of the actual logic formalised as an institution) …

We generalize the method of diagrams from conventional model theory to a simple
institution-independent (ie independent of the details of the actual logic formalized as an …

We prove an institutional version of A. Robinson's Consistency Theorem. This result is then
appliedto the institution of many-sorted first-order predicate logic and to two of its variations …