G. Antoniou
1997
Nonmonotonic Reasoning
Artificial Intelligence
The MIT Press
G. Antoniou
K. Wang
2007
Default Logic
D. Gabbay
J. Woods
The Many Valued and Nonmonotonic Turn in Logic
Handbook of the History of Logic
8
North-Holland
517–555
10.1016/S1874-5857(07)80011-2
L. Åqvist
2007
Deontic Logic
D. Gabbay
F. Guenthner
Handbook of Philosophical Logic
8
Springer
147–264
10.1007/978-94-010-0387-2_3
N. Asher
D. Bonevac
1997
Common Sense Obligation
Nute
159–204
10.1007/978-94-015-8851-5_8
C. Barrett
R. Sebastiani
S. Seshia
C. Tinelli
2009
Satisfiability Modulo Theories
Handbook of Satisfiability
825–885
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
E. Clarke
T. Henzinger
H. Veith
R. Bloem
Handbook of Model Checking
Springer
191–217
10.1007/978-3-319-10575-8_7
V. Cassano
R. Fervari
C. Areces
P. Castro
2019
Interpolation and Beth Definability in Default Logics
F. Calimeri
N. Leone
M. Manna
16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
LNCS
11468
Springer
675–691
10.1007/978-3-030-19570-0_44
H. Castañeda
1970
On the Semantics of the Ought-to-Do
Synthese
21
3/4
449–468
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
S. Benferhat
E. Giunchiglia
9th International Workshop on Non-Monotonic Reasoning (NMR 2002)
343–348
P. Castro
2017
Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity
Studia Logica
105
2
229–251
10.1007/s11225-016-9688-6
B. Chellas
1980
Modal Logic (An Introduction)
Cambridge U Press
10.1017/CBO9780511621192
D. van Dalen
2004
Logic and structure
5th
Springer
10.1007/978-1-4471-4558-5
B Davey
H. Priestley
2002
Introduction to Lattices and Order
2
Cambridge U Press
10.1017/CBO9780511809088
J. Delgrande
T. Schaub
W. Jackson
1994
Alternative Approaches to Default Logic
Artificial Intelligence
70
1-2
167–237
10.1016/0004-3702(94)90106-6
C. Froidevaux
J. Mengin
1994
Default Logics: A Unified View
Computational Intelligence
10
331–369
10.1111/j.1467-8640.1994.tb00168.x
S. Givant
P. Halmos
2009
Introduction to Boolean Algebras
Undergraduate Texts in Mathematics
Springer
10.1007/978-0-387-68436-9
J. Horty
1997
Nonmonotonic Foundations for Deontic Logic
Nute
17–46
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
1–16
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
109–136
10.1305/ndjfl/1093637776
D. Nute
1997
Defeasible Deontic Logic
Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science)
263
Springer
10.1007/978-94-015-8851-5
R. Reiter
1980
A Logic for Default Reasoning
AI
13
1-2
81–132
L. Royakkers
F. Dignum
1997
Defeasible Reasoning with Legal Rules
Nute
263–283
10.1007/978-94-015-8851-5_11
Y. Ryu
R. Lee
1997
Deontic Logic Viewed as Defeasible Reasoning
Nute
123–138
10.1007/978-94-015-8851-5_6
K. Segerberg
1982
A deontic logic of action
Studia Logica
41
2
269–282
10.1007/BF00370348
L. van der Torre
Y-H. Tan
1997
The Many Faces of Defeasibility in Defeasible Deontic Logic
Nute
79–122
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
1241–1260
10.1093/logcom/ext057
G. H. Von Wright
1951
Deontic logic
Mind
60
237
1–15
10.1093/mind/LX.237.1