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

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 …

We develop an abstract proof calculus for hybrid logics whose sentences are (hybrid) Horn
clauses, and we prove a Birkhoff completeness theorem for hybrid logics in the general …

arxiv:2208.08708v1 [math.LO] 18 Aug 2022 Page 1 arxiv:2208.08708v1 [math.LO] 18 Aug
2022 Robinson consistency in many-sorted hybrid first-order logics Daniel Gaina1 Kyushu …

The present contribution advances an abstract notion of hybrid logic by supplementing the
definition of institution with an additional structure to extract frames. The foundation of logic …

We study a version of the Craig interpolation theorem as formulated in the framework of the
theory of institutions. This formulation proved crucial in the development of a number of key …

We study a version of the Craig interpolation theorem formulated in the framework of the
theory of institutions. This formulation proved crucial in the development of a number of key …

We generalize the characterization of elementary equivalence by Ehrenfeucht–Fraïssé
games to arbitrary institutions whose sentences are finitary. These include many-sorted first …