D. Rönnedal, “Quantified temporal alethic-deontic logic”, LLP, vol. 24, no. 1, pp. 19–59, Aug. 2014.