@inproceedings{Boella-Torre:deon06b,
  abstract = {Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding to the functionality of logical components. We illustrate how the architectural approach can be used to develop a logic of a normative system based on logics of counts-as conditionals, institutional constraints, obligations and permissions. In this example we adapt for counts-as conditionals and institutional constraints a proposal of Jones and Sergot, and for obligations and permissions we adapt the input/output logic framework of Makinson and van der Torre. We use our architecture to study logical relations among counts-as conditionals, institutional constraints, obligations and permissions. We show that in our logical architecture the combined system of counts-as conditionals and institutional constraints reduces to the logic of institutional constraints, which again reduces to an expression in the underlying base logic. Counts-as conditionals and institutional constraints are defined as a pre-processing step for the regulative norms. Permissions are defined as exceptions to obligations and their interaction is characterized. },
  address = {Berlin},
  affiliation = {icr},
  author = {G. Boella and L. van der Torre},
  booktitle = {Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ({$\Delta$EON}'06)},
  pages = {24-35},
  publisher = {Springer},
  series = {LNCS},
  title = {A Logical Architecture of a Normative System},
  url = {http://icr.uni.lu/leonvandertorre/papers/deon06c.pdf},
  volume = {4048},
  year = 2006,
  bdsk-url-1 = {http://icr.uni.lu/leonvandertorre/papers/deon06c.pdf}
}