  In this paper, we further develop the framework of Modular Systems that lays
model-theoretic foundations for combining different declarative languages,
agents and solvers. We introduce a multi-language logic of modular systems. We
define two novel semantics, a structural operational semantics, and an
inference-based semantics. We prove the new semantics are equivalent to the
original model-theoretic semantics and describe future research directions.
