Expressivity results for deontic logics of collective agencyTamminga, A., Duijf, H. & Van De Putte, F., 11-Mar-2020, In : Synthese. 26 p.
Research output: Contribution to journal › Article › Academic › peer-review
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.
|Number of pages||26|
|Early online date||11-Mar-2020|
|Publication status||E-pub ahead of print - 11-Mar-2020|
- Deontic logic, Collective admissibility, Collective agency, Collective obligation, Expresssivity, Bisimulation