Supercover semantics for deontic action logic

DOI10.1007/s10849-018-09279-8zbMath1441.03020OpenAlexW2907215032WikidataQ128636579 ScholiaQ128636579MaRDI QIDQ2322983

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

zbMATH Keywords

choicedeontic logicactionalternative semanticsfree choice permissionsupercover semantics

Mathematics Subject Classification ID

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

Related Items (1)

Free choice in modal inquisitive logic

Cites Work

• Algebraic foundations for the semantic treatment of inquisitive content
• Linear logic
• Action negation and alternative reductions for dynamic deontic logics
• Inquisitive logic
• A deontic logic of action
• Deontic action logic, atomic Boolean algebras and fault-tolerance
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Free choice and contextually permitted actions
• Action type deontic logic
• Free choice permission is strong permission
• Open Reading without Free Choice
• A systematics of deontic action logics based on Boolean algebra
• On deontic action logics based on Boolean algebra
• Inquisitive Semantics
• The dynamic logic of permission
• Towards a Logic of Information Exchange
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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