Analysis and Synthesis of Logics