Rönnedal, D. Quantified Temporal Alethic-Deontic Logic. LLP 2014, 24, 19–59.