Logic Modularized