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 …

Modal logics are successfully used as specification logics for reactive systems. However,
they are not expressive enough to refer to individual states and reason about the local …

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 …

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 formulate a general institution-independent (ie independent of the details of the actual
logic formalised as institution) version of the Craig Interpolation Theorem and prove it in …

We define and develop the concept of quasi-variety for models of hybrid logics and we apply
this for determining initial semantics for classes of hybrid logics theories. The hybrid logic is …

The theory of L-institutions represents an axiomatic category-based approach to many-
valued truth model theory. Technically, L-institutions are many-valued truth extensions of …

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 …