Title: Analysis and Synthesis of Logics