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 …

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 …

Hybrid-dynamic first-order logic is a kind of modal logic obtained by enriching many-sorted
first-order logic with features that are common to hybrid and to dynamic logics. This provides …

We explore a simple approach to quantum logic based on hybrid and dynamic modal logic,
where the set of states is given by some Hilbert space. In this setting, a notion of quantum …

Actor Networks are a modelling framework for cyber-physical-system protocols based on
Latour's actor-network theory that addresses the way we now create and exploit the power of …

In the present study, we provide conditions for the existence of pushouts of signature
morphisms in constructor-based order-sorted algebra, and then we prove that reducibility …

We continue our investigation into using the hybridization technique on top of the many-
sorted polyadic modal logic we have previously defined. By adding different operators and …

Lindström's theorem characterizes first-order logic in terms of its essential model theoretic
properties. One cannot gain expressive power extending first-order logic without losing at …