Rönnedal, D. (2014). Quantified temporal alethic-deontic logic. Logic and Logical Philosophy, 24(1), 19–59. https://doi.org/10.12775/LLP.2014.016