Supercover semantics for deontic action logic

DOI10.1007/S10849-018-09279-8zbMATH Open1441.03020OpenAlexW2907215032WikidataQ128636579 ScholiaQ128636579MaRDI QIDQ2322983FDOQ2322983

Authors: Karl Nygren 

Publication date: 30 August 2019

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

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

Recommendations

• Deontic logic with action types and tokens
• Action type deontic logic
• scientific article; zbMATH DE number 7655716
• 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

zbMATH Keywords

actiondeontic logicchoicealternative semanticsfree choice permissionsupercover semantics

Mathematics Subject Classification ID

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

Cites Work

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

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)