PD-TR-Logic