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