Deontic Logic
Logic expressing the relation of permissions, prohibitions and obligations.
- a very active research area;
- Standard Deontic Logic concentrates on the consistency of static situations, providing yes/no answers;
- deals with “ought to be”, rather than “ought to do”;
- has difficulty with e.g. shared responsibilities.
Need to enhance SDL with a notion of agency,
such as STIT formulations.