PDL with Maximum Consistency Monitors