## Deontic logic, agency, and normative systems: Delta EON '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996This is the latest volume in the "Workshops in Computing" series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON '96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems (i.e. systems of or about interacting agents whose behaviour is subject to ideal constraints that may not always be fulfilled in practice). The papers range from the theoretical studies of the logical and conceptual tools needed, to studies of various applications. The resulting volume will be of interest to researchers working in a variety of fields from philosophy, logic and legal theory, through to artificial intelligence and computer/management sciences. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Towards a Computational Treatment of Deontic Defeasibility | 27 |

Towards a Logic of Simply Dischargeable | 47 |

A Deontic Logic for Reasoning about Confidentiality | 66 |

Copyright | |

8 other sections not shown

### Common terms and phrases

0[a cstit A-HOHFELD action expressions action operator adjoint adjoint functors agency agent argumentation framework Artificial Intelligence axiom axiom schema BCS-FACS Belnap Chellas choice CONDITIONAL conflict consider constraint cstit database defaults defeasible reasoning defined definition denote deontic logic deontic operators deontic stit derived DONE-BY ensure equivalent example Figure formal formula framework Functional Programming functor fundamental legal conceptions Hilpinen history h ideal impersonal notions implies influence International Workshop interpreted intuitive justified argument Kanger KEM-tree label language LEGAL RELATIONS means minimal modal logic modal operators moral Netherlands norms Nuel Belnap obligation and permission obligatory OUGHTp overruled argument pairs paper personal obligation Philosophy PKBcp possible POWER of acceptance principle problem Proceedings PROP propositional relationships represent rule schemas satisfies SDLR's semantics set of sentences standard deontic statement stit models sub-ideal sublogic temporal tense logic theorem theory true University valid to infer