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

actiondeontic logicchoicealternative semanticsfree choice permissionsupercover semantics

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• 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 permission, legitimization and relating semantics
• Free choice in modal inquisitive logic

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)