A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons