1 “... develops a mathematical theory of combining and decomposing logics, ranging from propositional and first...”

2 “..., we apply the developed machinery and obtained results to three case studies from the field...”