Modal logic investigations in the semantics of counts-as

Davide Grossi; John-Jules Ch. Meyer; Frank Dignum

doi:10.1145/1165485.1165487

Modal logic investigations in the semantics of counts-as

Davide Grossi, John-Jules Ch. Meyer, Frank Dignum

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

The work investigates the logic underlying the representation of the non-regulative component of normative systems, the so-called counts-as. The analytic thesis we hold here is to view counts-as statements as statements which yield classifications and which hold only with respect to a context. These two aspects of the semantics of counts-as-the classificatory flavor, and the contextual character-are then investigated by means of modal logic techniques from a semantics-driven perspective, and a formalization of counts-as statements is thus proposed. The result is then compared in detail with previous work on the topic, and related with work which, despite developed in different areas of applied and philosophical logic, shares interesting technical and theoretical similarities with our proposal. Copyright 2005 ACM.

Original language	English
Title of host publication	10th International Conference on Artificial Intelligence and Law, Proceedings of the Conference - ICAIL 2005
Pages	1-9
DOIs	https://doi.org/10.1145/1165485.1165487
Publication status	Published - 2005
Externally published	Yes
Event	10th International Conference on Artificial Intelligence and Law, ICAIL 2005 - , Italy Duration: 6 Jun 2005 → 11 Jun 2005

Conference

Conference	10th International Conference on Artificial Intelligence and Law, ICAIL 2005
Country/Territory	Italy
Period	6/06/05 → 11/06/05

Access to Document

10.1145/1165485.1165487

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{ec40dda8de144155ad3f7210ec4603e3,

title = "Modal logic investigations in the semantics of counts-as",

abstract = "The work investigates the logic underlying the representation of the non-regulative component of normative systems, the so-called counts-as. The analytic thesis we hold here is to view counts-as statements as statements which yield classifications and which hold only with respect to a context. These two aspects of the semantics of counts-as-the classificatory flavor, and the contextual character-are then investigated by means of modal logic techniques from a semantics-driven perspective, and a formalization of counts-as statements is thus proposed. The result is then compared in detail with previous work on the topic, and related with work which, despite developed in different areas of applied and philosophical logic, shares interesting technical and theoretical similarities with our proposal. Copyright 2005 ACM.",

author = "Davide Grossi and Meyer, {John-Jules Ch.} and Frank Dignum",

year = "2005",

doi = "10.1145/1165485.1165487",

language = "English",

pages = "1--9",

booktitle = "10th International Conference on Artificial Intelligence and Law, Proceedings of the Conference - ICAIL 2005",

note = "10th International Conference on Artificial Intelligence and Law, ICAIL 2005 ; Conference date: 06-06-2005 Through 11-06-2005",

}

TY - GEN

T1 - Modal logic investigations in the semantics of counts-as

AU - Grossi, Davide

AU - Meyer, John-Jules Ch.

AU - Dignum, Frank

PY - 2005

Y1 - 2005

N2 - The work investigates the logic underlying the representation of the non-regulative component of normative systems, the so-called counts-as. The analytic thesis we hold here is to view counts-as statements as statements which yield classifications and which hold only with respect to a context. These two aspects of the semantics of counts-as-the classificatory flavor, and the contextual character-are then investigated by means of modal logic techniques from a semantics-driven perspective, and a formalization of counts-as statements is thus proposed. The result is then compared in detail with previous work on the topic, and related with work which, despite developed in different areas of applied and philosophical logic, shares interesting technical and theoretical similarities with our proposal. Copyright 2005 ACM.

AB - The work investigates the logic underlying the representation of the non-regulative component of normative systems, the so-called counts-as. The analytic thesis we hold here is to view counts-as statements as statements which yield classifications and which hold only with respect to a context. These two aspects of the semantics of counts-as-the classificatory flavor, and the contextual character-are then investigated by means of modal logic techniques from a semantics-driven perspective, and a formalization of counts-as statements is thus proposed. The result is then compared in detail with previous work on the topic, and related with work which, despite developed in different areas of applied and philosophical logic, shares interesting technical and theoretical similarities with our proposal. Copyright 2005 ACM.

UR - http://www.scopus.com/inward/record.url?scp=77950456461&partnerID=8YFLogxK

U2 - 10.1145/1165485.1165487

DO - 10.1145/1165485.1165487

M3 - Conference contribution

SP - 1

EP - 9

BT - 10th International Conference on Artificial Intelligence and Law, Proceedings of the Conference - ICAIL 2005

T2 - 10th International Conference on Artificial Intelligence and Law, ICAIL 2005

Y2 - 6 June 2005 through 11 June 2005

ER -

Modal logic investigations in the semantics of counts-as

Abstract

Conference

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this