Expressivity results for deontic logics of collective agency

Allard Tamminga*, Hein Duijf, Frederik Van De Putte

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

6 Downloads (Pure)

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
Number of pages26
JournalSynthese
Early online date11-Mar-2020
DOIs
Publication statusE-pub ahead of print - 11-Mar-2020

Keywords

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

Cite this