Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Normative properties of sequential actions
Stockholm University, Faculty of Humanities, Department of Philosophy.ORCID iD: 0000-0002-7435-3592
2023 (English)In: Deontic Logic and Normative Systems: 16th International Conference, DEON 2023 / [ed] Juliano Maranhão, Clayton Peterson, Christian Straßer, Leendert van der Torre, London: College Publications, 2023, p. 139-157Conference paper, Published paper (Refereed)
Abstract [en]

This paper develops a deontic logic based on dynamic logic for reasoning about permission and prohibition of sequential actions. Our approach is characterized by two main features. First, permission and prohibition of sequential actions are not necessarily reduced to permission and prohibition of the actions' constituent parts. Second, we incorporate the idea that actions may be permitted or prohibited conditional on another action being performed first. The logic interprets actions in terms of sequences of states, and the deontic component of the logic is introduced by relating sequences of states to their legal and illegal future continuations. We consider various different logics obtained by imposing natural constraints on models, and formulate complete axiom systems for several of these logics.

Place, publisher, year, edition, pages
London: College Publications, 2023. p. 139-157
Keywords [en]
dynamic logic, sequential action, permission, prohibition
National Category
Philosophy
Research subject
Philosophy
Identifiers
URN: urn:nbn:se:su:diva-220048ISBN: 978-1-84890-438-5 (print)OAI: oai:DiVA.org:su-220048DiVA, id: diva2:1787776
Conference
The 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), Trois-Rivières, Canada, July 5-7, 2023
Available from: 2023-08-14 Created: 2023-08-14 Last updated: 2023-09-18Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records

Nygren, Karl

Search in DiVA

By author/editor
Nygren, Karl
By organisation
Department of Philosophy
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 243 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf