Pushing Anderson's Envelope: The Modal Logic of Ascription

The paper proposes a formal analysis of the ascriptive view of norms as resulting from pulling together Anderson's reductionist approach, the analysis of counts-as, and a novel modal approach to the formal representation of languages in logic. This unifying attempt results in the definition of a new form of reduction of deontic logic based on countsas statements. Such result is discussed also in the light of J

• Type: Conference
• Year: 2008
• Where: DEON
• Authors: Davide Grossi
• Keywords: Automated Reasoning, DEON 2008, Formal Analysis, Jørgensen's Dilemma, Modal Logic