Pdhs in logic related domains (1)