d-logic