G. Antoniou (1997):
Nonmonotonic Reasoning.
Artificial Intelligence.
The MIT Press.
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.
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.
N. Asher & D. Bonevac (1997):
Common Sense Obligation.
In: Nute,
pp. 159–204,
doi:10.1007/978-94-015-8851-5_8.
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.
P. Blackburn, J. van Benthem & F. Wolter (2007):
Handbook of Modal Logic.
Elsevier.
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.
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.
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.
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.
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.
B. Chellas (1980):
Modal Logic (An Introduction).
Cambridge U Press,
doi:10.1017/CBO9780511621192.
B Davey & H. Priestley (2002):
Introduction to Lattices and Order,
2 edition.
Cambridge U Press,
doi:10.1017/CBO9780511809088.
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.
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.
S. Givant & P. Halmos (2009):
Introduction to Boolean Algebras.
Undergraduate Texts in Mathematics.
Springer,
doi:10.1007/978-0-387-68436-9.
J. Horty (1997):
Nonmonotonic Foundations for Deontic Logic.
In: Nute,
pp. 17–46,
doi:10.1007/978-94-015-8851-5_2.
P. Jipsen (1992):
Computer-aided Investigations of Relation Algebras.
Vanderbilt University.
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.
D. Makinson (2005):
Bridges from Classical to Nonmonotonic Logic.
Texts in Computing 5.
College Publications.
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.
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.
R. Reiter (1980):
A Logic for Default Reasoning.
AI 13(1-2),
pp. 81–132.
L. Royakkers & F. Dignum (1997):
Defeasible Reasoning with Legal Rules.
In: Nute,
pp. 263–283,
doi:10.1007/978-94-015-8851-5_11.
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.
K. Segerberg (1982):
A deontic logic of action.
Studia Logica 41(2),
pp. 269–282,
doi:10.1007/BF00370348.
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.
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.
G. H. Von Wright (1951):
Deontic logic.
Mind 60(237),
pp. 1–15,
doi:10.1093/mind/LX.237.1.
eptcs@eptcs.org