@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)},
	Date-Added = {2011-11-16 16:03:59 +0100},
	Date-Modified = {2011-11-16 16:03:59 +0100},
	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}}