dynamic logics consultancy