Quantified Deontic STIT Logic. - Edward Roussel; Stef Frijters (DEON, 2025)