Deontic Sufficiency in Dyadic Deontic Logic

Deontic sufficiency; Dyadic deontic logic; Reasoning about preference; Deontic; Deontic Logic; Preference relation; Property; Theoretical Computer Science; Computer Science (all)

Abstract :

[en] In this paper, we introduce and study the logics for conditionals of the form “Given φ, it suffices to do ψ”, which are known as “deontic sufficiency” in the deontic logic literature and are useful in the decision and game theory contexts. We completely axiomatize the logics under different assumptions about the properties of the preference relations and establish decidability results for each logic.

Disciplines :

Computer science

Author, co-author :

LI, Xu ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

External co-authors :

Language :

English

Title :

Deontic Sufficiency in Dyadic Deontic Logic

Publication date :

2025

Event name :

Logic and Argumentation - 6th International Conference

Event place :

Taiyuan, Chn

Event date :

14-06-2025 => 16-06-2025

Main work title :

Logic and Argumentation - 6th International Conference, CLAR 2025, Proceedings

Editor :

Ågotnes, Thomas

Publisher :

Springer Science and Business Media Deutschland GmbH

ISBN/EAN :

9789819679553

Peer reviewed :

Peer reviewed

Additional URL :

https://link.springer.com/content/pdf/10.1007/978-981-96-7956-0_10

Funding text :

We thank three anonymous referees for their detailed comments. This work was supported by the Fonds National de la Recherche Luxembourg through the project Deontic Logic for Epistemic Rights (OPEN O20/14776480).

Available on ORBilu :

since 02 February 2026

Statistics

Number of views

2 (0 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

OpenAlex citations

WoS citations^™

Bibliography

Apostel, L.: Game theory and the interpretation of deontic logic. Logique et Analyse 3(10), 70–90 (1960). http://www.jstor.org/stable/44083424
van Benthem, J.: Minimal deontic logics. Bull. Sect. Logic 8(1), 36–42 (1979)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press (2001)
Boutilier, C.: Toward a logic for qualitative decision theory. In: Doyle, J., Sande-wall, E., Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning, pp. 75–86. The Morgan Kaufmann Series in Representation and Reasoning, Morgan Kaufmann (1994). https://doi.org/10.1016/B978-1-4832-1452-8.50104-4. https://www.sciencedirect.com/science/article/pii/B9781483214528501044
Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24(2), 33–36 (1963). http://www.jstor.org/stable/3327064
Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.): Handbook of Deontic Logic and Normative Systems. College Publications (2013)
Goble, L.: Axioms for hansson’s dyadic deontic logics. Filosofiska Notiser 6(1), 13–61 (2019)
Grossi, D., van der Hoek, W., Kuijer, L.B.: Reasoning about general preference relations. Artif. Intell. 313, 103793 (2022). https://doi.org/10.1016/j.artint.2022. 103793. https://www.sciencedirect.com/science/article/pii/S0004370222001333
Hansson, B.: An analysis of some deontic logics. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 121–147. Springer, Dordrecht (1971). https://doi.org/10.1007/978-94-010-3146-2_5
Hilpinen, R.: Disjunctive permissions and conditionals with disjunctive antecedents. Acta Philosophica Fennica 35 (1982)
Hilpinen, R., McNamara, P.: Deontic logic: a historical survey and introduction. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, pp. 3–136. College Publications (2013)
Parent, X.: On the strong completeness of Åqvist’s dyadic deontic logic G. In: van der Meyden, R., van der Torre, L. (eds.) Deontic Logic in Computer Science, pp. 189–202. Springer, Heidelberg (2008)
Parent, X.: Maximality vs. optimality in dyadic deontic logic. J. Philos. Logic 43(6), 1101–1128 (2014). https://doi.org/10.1007/s10992-013-9308-0
Parent, X.: Completeness of Åqvist’s systems E and F. Rev. Symb. Logic 8(1), 164–177 (2015). https://doi.org/10.1017/S1755020314000367
Parent, X.: Preference semantics for hansson-type dyadic deontic logic: a survey of results. In: Handbook of Deontic Logic and Normative Systems, vol. 2, pp. 7–70. College Publications (2021)
Åqvist, L.: An Introduction to Deontic Logic and the Theory of Normative Systems. Humanities Press (1988)
Roy, O.: Deontic logic and game theory. In: Handbook of Deontic Logic and Normative Systems, vol. 2, pp. 765 – 782. College Publications (2021)
van der Torre, L., Parent, X.: Introduction to Deontic Logic and Normative Systems. College Publications (2018)
Van De Putte, F.: “That will do”: logics of deontic necessity and sufficiency. Erkenntnis 82(3), 473–511 (2017). https://doi.org/10.1007/s10670-016-9829-3
Von Wright, G.H.: Deontic logic and the theory of conditions. In: Deontic logic: Introductory and systematic readings, pp. 159–177. Springer (1971)