Return to Article Details Quantified temporal alethic-deontic logic Download Download PDF