Deontic logic

Known as: Deontics 
Deontic logic is the field of philosophical logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
  • David Makinson Les Etangs
  • 2008
Literature: David Makinson: On a Fundamental Problem of Deontic Logic, in: P. McNamara & H. Prakken: Norms, Logic and Information… (More)
Is this relevant?
2005
2005
We suggest that mechanized multi-agent deontic logics might be appropriate vehicles for engineering trustworthy robots… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2005
2005
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
One of the main issues in the discussion on standard deontic logic (SDL) is the representation of contrary-to-duty (CTD… (More)
  • figure 2
  • figure 3
Is this relevant?
1995
1995
In a normative system many of the obligations, prohibitions and permissions exist as a result of communication with users and/or… (More)
Is this relevant?
1994
1994
With respect to condentiality, a computer security policy denes what information stored in a computer users have the permission… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation… (More)
Is this relevant?
1990
1990
A new possible world semantics for deontic logic is proposed. Its intuitive basis is that prohibitive predicates (such as “wrong… (More)
Is this relevant?