In this paper we address the problem of collective norms, and discuss two action logics for that purpose. The first action logic is based on the action modality Ei where expressions of the form Eip are read as 'agent i brings about (sees to it) that p '. This operator relates an agent with the effects of his action, and abstracts away details of the specific actions. We will show that this abstraction often leads to an unacceptable level of ambiguity. Therefore we have developed another action logic, which is an extension and a variant of dynamic logic. The extension consists of groups of agents to express collective actions for representing collective norms.
|Title of host publication
|Legal knowledge and information systems
|Place of Publication
|Published - 2000