Counts-as: Classification or Constitution? An Answer Using Modal Logic

Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificatory and the constitutive readings) showing that, in fact, `counts-as is said in many ways'.

• Type: Conference
• Year: 2006
• Where: DEON
• Authors: Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
• Keywords: Automated Reasoning, Constitutive Readings, DEON 2006, Modal Logic