Generalizing Deontic Action Logic

Alessandro Giordani, Matteo Pascucci*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract (may include machine translation)

We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our approach can be modularly extended in order to get different levels of analysis of normative reasoning. Finally, we discuss ways in which the framework can be used to capture other formalisms proposed in the literature, as well as to model searching problems in Artificial Intelligence.

Original languageEnglish
Pages (from-to)989-1033
Number of pages45
JournalStudia Logica
Volume110
Issue number4
DOIs
StatePublished - Aug 2022
Externally publishedYes

Keywords

  • Action logic
  • Action types
  • Deontic reasoning
  • Normative conflicts
  • Searching problems

Fingerprint

Dive into the research topics of 'Generalizing Deontic Action Logic'. Together they form a unique fingerprint.

Cite this