On the Logic of Constitutive Rules

Grossi, Davide; Meyer, John-Jules; Dignum, Frank

doi:10.4230/DagSemProc.07122.23

Document

On the Logic of Constitutive Rules

Authors Davide Grossi, John-Jules Meyer, Frank Dignum

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 7122
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-03-12

PDF

File

PDF

DagSemProc.07122.23.pdf

Filesize: 262 kB
33 pages

Document Identifiers

DOI: 10.4230/DagSemProc.07122.23
URN: urn:nbn:de:0030-drops-9131

Subject Classification

Keywords

Constitutive rules
counts-as
modal logic.

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

Abstract

The paper proposes a logical systematization of the notion of counts-as which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., forms of classification. Moving from this analytical thesis the paper disentangles three semantically different readings of statements of the type X counts as Y in context C, from the weaker notion of contextual classification to the stronger notion of constitutive rule. These many ways in which counts-as can be said are then formally addressed by making use of modal logic techniques. The resulting framework allows for a formal characterization of all the involved notions and their reciprocal logical relationships.

Cite As Get BibTex

Davide Grossi, John-Jules Meyer, and Frank Dignum. On the Logic of Constitutive Rules. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/DagSemProc.07122.23

Author Details

Davide Grossi

John-Jules Meyer

Frank Dignum

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail