Analysis and Synthesis of Logics: How to Cut and Paste