Bibliography

1

José Carmo and Andrew J. I. Jones. Carmo and Jones’ logic for contrary-to-duty obligations revised. J. Logic Comput., 32(7):1352–1364, 2022.

2

José M. C. L. M. Carmo and Andrew J. I. Jones. A new approach to contrary-to-duty obligations. In D. Nute, editor, Defeasible Deontic Logic, volume 263 of Synthese Library, pages 317–344. Kluwer Academic Publishers, 1997.

3

José M. C. L. M. Carmo and Andrew J. I. Jones. Deontic logic and contrary-to-duties. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 8, pages 265–343. Kluwer Academic Publishers, 2nd edition, 2002.

4

José M. C. L. M. Carmo and Andrew J. I. Jones. Completeness and decidability results for a logic of contrary-to-duty conditionals. J. Logic Comput., 23(3):585–626, 2013.

5

Jaap Hage. Donald Nute (Ed.), Defeasible Deontic Logic. Artificial Intelligence and Law, 8(1):75–91, 2000.

6

Bjørn Kjos-Hanssen. Models of the Chisholm set. 1996. Philosophy term paper, University of Oslo. arxiv 1607.02189.

7

Bjørn Kjos-Hanssen. A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations. Studia Logica, 105(1):173–178, 2017.

8

Bjørn Kjos-Hanssen. Deontic, 2025. Lean 4 github repository at https://github.com/bjoernkjoshanssen/deontic.