Rönnedal, D. “Quantified Temporal Alethic-Deontic Logic”. Logic and Logical Philosophy, vol. 24, no. 1, Aug. 2014, pp. 19–59, doi:10.12775/LLP.2014.016.