1. Alchourrón, C.: Philosophical foundations of deontic logic and the logic of defeasible conditionals. In: Meyer, J.-J., Wieringa, R. (eds.) Deontic Logic in Computer Science, pp. 43–84. John Wiley & Sons Inc, New York (1993)
2. Åqvist, L.: Deontic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 605–714. Springer, Dordrecht (1984). https://doi.org/10.1007/978-94-007-6730-0_1002-1
3. Asher, N., Bonevac, D.: Common sense obligation. In: Nute [20], pp. 159–203
4. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In Logic: from Foundations to Applications, pp. 1–32. OUP, New York (1996)
5. Benzmüller, C., Farjami, A., Parent, X.: Åqvist’s dyadic deontic logic E in HOL. IfCoLog 6, 715–732 (2019)