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 …

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 …

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 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 …

We develop possible worlds (Kripke) semantics at the categorical abstract model theoretic
level provided by the so-called 'institutions'. Our general abstract modal logic framework …

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 …

1. Introduction 30 years have passed since the introduction by Joseph Goguen and Rod
Burstall of the concept of 'institution'(in [14] under the name 'language'). Since then institution …

The present article describes a method for proving Downward Löwenheim–Skolem
Theorem within an arbitrary institution satisfying certain logic properties. In order to …

This paper studies definability within the theory of institutions, a version of abstract model
theory that emerged in computing science studies of software specification and semantics …

We present a generic method for establishing interpolation properties by 'borrowing'across
logical systems. The framework used is that of the so-caled 'institution theory'which is a …