Logic Development