Quasi-varieties and Initial Semantics for Hybridized Institutions(abstract)
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 for example those resulting from the various
kinds of combinations between conventional hybrid logics and various
other logical systems.
back to Selected Publications