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 …

A 'hybridization'of a logic, referred to as the base logic, consists of developing the
characteristic features of hybrid logic on top of the respective base logic, both at the level of …

In this paper, we deal with the problem of putting together modal worlds that operate in
different logic systems. When evaluating a modal sentence, we argue that it is not sufficient …

In the last decades, dynamic logics have been used in different domains as a suitable
formalism to reason about and specify a wide range of systems. On the other hand, logics …

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 …

We propose stratified institutions (a decade old generalized version of the theory of
institutions of Goguen and Burstall) as a fully abstract model theoretic approach to modal …

In the present contribution, we prove an Omitting Types Theorem (OTT) for an arbitrary
fragment of hybrid dynamic first-order logic with rigid symbols (ie symbols with fixed …

On the one hand, the extension of ordinary institution theory, known as the theory of stratified
institutions, is a general axiomatic approach to model theories where the satisfaction is …

The qualifier reconfigurable is used for software systems which behave differently in different
modes of operation (often called configurations) and commute between them along their …