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