Supercover semantics for deontic action logic

DOI10.1007/S10849-018-09279-8MaRDI QIDQ2322983zbMATH OpenOpenAlexWikidataFDO

Authors Karl Nygren

Publication date 30 August 2019

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10849-018-09279-8

zbMATH Keywords

actionalternative semanticschoicedeontic logicfree choice permissionsupercover semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Review text

The author constructs a formal language for deontic propositional logic which, he suggests, is better adapted than those currently available for expressing and analyzing free-choice permissions. The proposal follows \textit{R. Trypuz} and \textit{P. Kulicki} [J. Log. Comput. 25, No. 5, 1241--1260 (2015; Zbl 1336.03027)] in distinguishing syntactically between propositions and act-types, with deontic operators applicable only to the latter, and it follows \textit{M. Simons} [``Dividing things up: the semantics of or and the modal/or interaction, Nat. Lang. Seman. 13, 271--316 (2005; \url{doi:10.1007/s11050-004-2900-7})] in using a `supercover' semantics that assigns sets of action-types, as well as single action-types, to the action terms of the language. In this way, free-choice permission becomes an operation forming propositions out of sets of action-types. The construction validates certain formulae usually considered desirable for free-choice permission and invalidates certain others regarded as undesirable. An axiomatization is given, along with proofs of soundness and completeness.

Recommendations

• Deontic logic with action types and tokens
• Action type deontic logic
• Deontic logic based on inquisitive semantics
• Free choice and contextually permitted actions
• The dynamic logic of permission
• scientific article; zbMATH DE number 6741896
• scientific article; zbMATH DE number 4179343
• The paradoxes of permission an action based solution
• scientific article; zbMATH DE number 4051556
• A deontic action logic with sequential composition of actions

Cites work

• A deontic logic of action
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• A systematics of deontic action logics based on Boolean algebra
• Action negation and alternative reductions for dynamic deontic logics
• Action type deontic logic
• Algebraic foundations for the semantic treatment of inquisitive content
• Basic action deontic logic
• Deontic action logic, atomic Boolean algebras and fault-tolerance
• Free choice and contextually permitted actions
• Free choice permission is strong permission
• scientific article; zbMATH DE number 3875225 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 6741896 (Why is no real title available?)
• scientific article; zbMATH DE number 3365184 (Why is no real title available?)
• Inquisitive logic
• Inquisitive semantics
• Linear logic
• On deontic action logics based on Boolean algebra
• Open reading without free choice
• The connectives
• The dynamic logic of permission
• To do something else
• Towards a Logic of Information Exchange

Cited in

(2)

• Free choice in modal inquisitive logic
• Free choice permission, legitimization and relating semantics

This page was built for publication: Supercover semantics for deontic action logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2322983)