Action Logics for Collective Agency and Norms.
Lambèr M. M. Royakkers · TU/e Research Portal · 2001
In this paper we address the problem of collective norms, and discuss two action logics for that purpose. The rst action logic is based on the action modality E i , where expressions of the form E i p are read as `agent i brings about (sees to it) that p'. This operator relates an agent with the eects of his action, and abstracts away details of the speci c 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.