1. مراجع
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. Nabavi, F. S., Preferential Structures in Deontic Logic and Non-Monotonic Logic, 9th Annual Conference of the Iranian Logic Association, 1400.
41. Goble, L. (2013). Prima facie norms, normative conflicts, and dilemmas. Handbook of deontic logic and normative systems, 1, 241-351.
