Rönnedal, Daniel. 2014. “Quantified Temporal Alethic-Deontic Logic”. Logic and Logical Philosophy 24 (1):19–59. https://doi.org/10.12775/LLP.2014.016.