References

  1. G. Antoniou (1997): Nonmonotonic Reasoning. Artificial Intelligence. The MIT Press.
  2. G. Antoniou & K. Wang (2007): Default Logic. In: D. Gabbay & J. Woods: The Many Valued and Nonmonotonic Turn in Logic, Handbook of the History of Logic 8. North-Holland, pp. 517–555, doi:10.1016/S1874-5857(07)80011-2.
  3. L. Åqvist (2007): Deontic Logic. In: D. Gabbay & F. Guenthner: Handbook of Philosophical Logic 8. Springer, pp. 147–264, doi:10.1007/978-94-010-0387-2_3.
  4. N. Asher & D. Bonevac (1997): Common Sense Obligation. In: Nute, pp. 159–204, doi:10.1007/978-94-015-8851-5_8.
  5. C. Barrett, R. Sebastiani, S. Seshia & C. Tinelli (2009): Satisfiability Modulo Theories. In: Handbook of Satisfiability, pp. 825–885, doi:10.3233/978-1-58603-929-5-825.
  6. P. Blackburn, J. van Benthem & F. Wolter (2007): Handbook of Modal Logic. Elsevier.
  7. R. Bryant (2018): Binary Decision Diagrams. In: E. Clarke, T. Henzinger, H. Veith & R. Bloem: Handbook of Model Checking. Springer, pp. 191–217, doi:10.1007/978-3-319-10575-8_7.
  8. V. Cassano, R. Fervari, C. Areces & P. Castro (2019): Interpolation and Beth Definability in Default Logics. In: F. Calimeri, N. Leone & M. Manna: 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), LNCS 11468. Springer, pp. 675–691, doi:10.1007/978-3-030-19570-0_44.
  9. H. Castañeda (1970): On the Semantics of the Ought-to-Do. Synthese 21(3/4), pp. 449–468, doi:10.1007/978-94-010-2557-7_21.
  10. M. Castilho, A. Herzig & I. Varzinczak (2002): It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. In: S. Benferhat & E. Giunchiglia: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), pp. 343–348.
  11. P. Castro (2017): Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity. Studia Logica 105(2), pp. 229–251, doi:10.1007/s11225-016-9688-6.
  12. B. Chellas (1980): Modal Logic (An Introduction). Cambridge U Press, doi:10.1017/CBO9780511621192.
  13. D. van Dalen (2004): Logic and structure, 5th edition. Springer, doi:10.1007/978-1-4471-4558-5.
  14. B Davey & H. Priestley (2002): Introduction to Lattices and Order, 2 edition. Cambridge U Press, doi:10.1017/CBO9780511809088.
  15. J. Delgrande, T. Schaub & W. Jackson (1994): Alternative Approaches to Default Logic. Artificial Intelligence 70(1-2), pp. 167–237, doi:10.1016/0004-3702(94)90106-6.
  16. C. Froidevaux & J. Mengin (1994): Default Logics: A Unified View. Computational Intelligence 10, pp. 331–369, doi:10.1111/j.1467-8640.1994.tb00168.x.
  17. S. Givant & P. Halmos (2009): Introduction to Boolean Algebras. Undergraduate Texts in Mathematics. Springer, doi:10.1007/978-0-387-68436-9.
  18. J. Horty (1997): Nonmonotonic Foundations for Deontic Logic. In: Nute, pp. 17–46, doi:10.1007/978-94-015-8851-5_2.
  19. P. Jipsen (1992): Computer-aided Investigations of Relation Algebras. Vanderbilt University.
  20. W. Łukaszewicz (1988): Considerations on Default Logic: An Alternative Approach. Computational Intelligence 4, pp. 1–16, doi:10.1111/j.1467-8640.1988.tb00086.x.
  21. D. Makinson (2005): Bridges from Classical to Nonmonotonic Logic. Texts in Computing 5. College Publications.
  22. J. Meyer (1988): A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1), pp. 109–136, doi:10.1305/ndjfl/1093637776.
  23. D. Nute (1997): Defeasible Deontic Logic. Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science) 263. Springer, doi:10.1007/978-94-015-8851-5.
  24. R. Reiter (1980): A Logic for Default Reasoning. AI 13(1-2), pp. 81–132.
  25. L. Royakkers & F. Dignum (1997): Defeasible Reasoning with Legal Rules. In: Nute, pp. 263–283, doi:10.1007/978-94-015-8851-5_11.
  26. Y. Ryu & R. Lee (1997): Deontic Logic Viewed as Defeasible Reasoning. In: Nute, pp. 123–138, doi:10.1007/978-94-015-8851-5_6.
  27. K. Segerberg (1982): A deontic logic of action. Studia Logica 41(2), pp. 269–282, doi:10.1007/BF00370348.
  28. L. van der Torre & Y-H. Tan (1997): The Many Faces of Defeasibility in Defeasible Deontic Logic. In: Nute, pp. 79–122, doi:10.1007/978-94-015-8851-5_5.
  29. R. Trypuz & P. Kulicki (2015): On deontic action logics based on Boolean algebra. Journal of Logic and Computation 25(5), pp. 1241–1260, doi:10.1093/logcom/ext057.
  30. G. H. Von Wright (1951): Deontic logic. Mind 60(237), pp. 1–15, doi:10.1093/mind/LX.237.1.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org