 Then, the formal setting also allows the possibility to make further finer distinctions, as the one between an obligation to always satisfy a given \(\varphi\) (in symbols, and with O a modality for obligation, \(OG\varphi)\) and an obligation for \(\varphi\) that should be always fulfilled \((GO\varphi)\). Further and deeper discussions on deontic deadlines can be found in Broersen et al. (2004); Broersen (2006); Brunel, Bodeveix, &amp; Filali (2006); Demolombe, Bretier, &amp; Louis (2006); Governatori, Hulstijn, Riveret, &amp; Rotolo (2007); and Demolombe (2014), among others.