مراجع
1Åqvist, L., Deontic logic, in Handbook of Philosophical Logic: Volume 8. 2002, Springer. p. 147-264.
2. Lewis, D., Counterfactuals. 2013: John Wiley & Sons.
3. Stalnaker, R.C., A theory of conditionals, in Ifs: Conditionals, belief, decision, chance and time. 1968, Springer. p. 41-55.
4. Hansson, B., Choice structures and preference relations. Synthese, 1968. 18(4): p. 443-458.
5. Kraus, S., D. Lehmann, and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics. Artificial intelligence, 1990. 44(1-2): p. 167-207.
6. Chellas, B.F., Modal logic: an introduction. 1980: Cambridge university press.
7. Hansson, B., An analysis of some deontic logics. Nous, 1969: p. 373-398.
8. Grossi, D., W. Van Der Hoek, and L.B. Kuijer, Reasoning about general preference relations. Artificial Intelligence, 2022. 313: p. 103793.
9. Lewis, D., Counterfactuals and comparative possibility, in IFS: Conditionals, Belief, Decision, Chance and Time. 1973, Springer. p. 57-85.
10. Alchourrón, C.E., P. Gärdenfors, and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions. The journal of symbolic logic, 1985. 50(2): p. 510-530.
11. Grossi, D. and A. Jones, Constitutive norms and counts-as conditionals, in Handbook of deonticlogic and normative systems. 2013, College Publications, London. p. 407-441.
12. Demey, L., B. Kooi, and J. Sack, Logic and probability. 2013.
13. Spohn, W., An analysis of Hansson's dyadic deontic logic. Journal of Philosophical Logic, 1975. 4: p. 237-252.
14. Ardeshir, M. and F. Nabavi, On some questions of L. Åqvist. Logic Journal of the IGPL, 2006. 14(1): p. 1-13.
15. Parent, X., A complete axiom set for Hansson's deontic logic DSDL2. Logic Journal of IGPL, 2010. 18(3): p. 422-429.
16. Parent, X., Maximality vs. optimality in dyadic deontic logic. Journal of Philosophical Logic, 2014. 43: p. 1101-1128.
17. Parent, X., Completeness of Åqvist’s systems E and F. The Review of Symbolic Logic, 2015. 8(1): p. 164-177.
18. Parent, X., Preference semantics for Hansson-type dyadic deontic logic: a survey of results. Handbook of Deontic Logic and Normative Systems. 2: p. 7-70.
19. Goble, L., Preference semantics for deontic logic part ii–multiplex models. Logique et Analyse, 2004: p. 335-363.
20. Reiter, R., Alogic for default reasoning. Artificial intelligence, 1980. 13(1-2): p. 81-132.
21. McCarthy, J., Applications of circumscription to formalizing common-sense knowledge. Artificial intelligence, 1986. 28(1): p. 89-116.
22. Moore, R.C., Semantical considerations on nonmonotonic logic. Artificial intelligence, 1985. 25(1): p. 75-94.
23. Strasser, C. and G.A. Antonelli, Non-monotonic logic. 2001.
24. Gabbay, D.M., Theoretical foundations for non-monotonic reasoning in expert systems. 1985: Springer.
25. Friedman, N. and J.Y. Halpern, Plausibility measures and default reasoning. arXiv preprint cs/9808007, 1998.
26. Delgrande, J.P., On first-order conditional logics. Artificial intelligence, 1998. 105(1-2): p. 105-137.
27. Friedman, N., J.Y. Halpern, and D. Koller, First-order conditional logic for default reasoning revisited. ACM Transactions on Computational Logic (TOCL), 2000. 1(2): p. 175-207.
28. Makinson, D., How to go nonmonotonic, in Handbook of Philosophical Logic. 2005, Springer. p. 175-278.
29. نبوی, ف.س., et al., صوریسازیمراتبحجیتشرعیبااستفادهازشرطیهایغیرکلاسیک.منطقپژوهی, 2024. 14(2): p. 203-225.
30. Pacuit, E., Neighborhood semantics for modal logic. 2017: Springer.
31. Parent, X., Moral particularism in the light of deontic logic. Artificial Intelligence and Law, 2011. 19: p. 75-98.
32. Parent, X., Preference semantics for Hansson-type dyadic deontic logic: a survey of results. Handbook of Deontic Logic and Normative Systems, 2021. 2: p. 7-70.
33. Shoham, Y., A semantical approach tononmonotonic logics, in Readings in nonmonotonic reasoning. 1987. p. 227-250.
34. Governatori, G., et al., Logic and the law: philosophical foundations, deontics, and defeasible reasoning. 2021: College Publications.
35. Giordano, L., V. Gliozzi, and G.L. Pozzato. KLMLean 2.0: a theorem prover for KLM logics of nonmonotonic reasoning. in International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. 2007. Springer.
36. Benzmüller, C., et al., LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset). Data in Brief, 2020. 33: p. 106409.
37. Olivetti, N. and G.L. Pozzato. NESCOND: an implementation of nested sequent calculi for conditional logics. in Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings 7. 2014. Springer.
38. Horty, J.F., Skepticism and floating conclusions. Artificial Intelligence, 2002. 135(1-2): p. 55-72.
39. Horty, J.F., R.H. Thomason, and D.S. Touretzky, A skeptical theory of inheritance in nonmonotonic semantic networks. Artificial intelligence, 1990. 42(2-3): p. 311-348.
40. نبوی ف.س.، ساختارهای رجحانی در منطق تکلیف و منطق غیر یکنوا، نهمین همایش سالیانه انجمن منطق ایران، 1400.
41. Goble, L. (2013). Prima facie norms, normative conflicts, and dilemmas. Handbook of deontic logic and normative systems, 1, 241-351.
