DIMA Logic