D Logic