Gabbay

This book offers a detailed theory of reactive Kripke semantics in the first seven chapters, followed by five chapters demonstrating applications in a variety of areas. It's useful for researchers and graduate students of mathematical logic.

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic st...