Quasi-varieties and initial semantics for hybridized institutions
Răzvan Diaconescu · Journal of Logic and Computation · 2013
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 considered here in a very general sense, internal to abstract institutions (in the sense of the so-called institution theory of Goguen and Burstall). This means our result is applicable to a wide variety of hybrid logics including, e.g. those resulting from the various kinds of combinations between conventional hybrid logics and various other logical systems.