Expressivity results for deontic logics of collective agency

Allard Tamminga, Hein Duijf, Frederik van de Putte

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

We use a deontic logic of collective agency to study reducibility questions about collective agency and collective obligations. The logic that is at the basis of our study is a multi-modal logic in the tradition of stit (‘sees to it that’) logics of agency. Our full formal language has constants for collective and individual deontic admissibility, modalities for collective and individual agency, and modalities for collective and individual obligations. We classify its twenty-seven sublanguages in terms of their expressive power. This classification enables us to investigate reducibility relations between collective deontic admissibility, collective agency, and collective obligations, on the one hand, and individual deontic admissibility, individual agency, and individual obligations, on the other.

Original languageEnglish
JournalSynthese
DOIs
Publication statusPublished - 11 Mar 2020

Keywords

  • Deontic logic
  • Collective admissibility
  • Collective agency
  • Collective obligation
  • Expressivity
  • Bisimulation

Cite this