Action negation and alternative reductions for dynamic deontic logics

DOI10.1016/J.JAL.2004.01.007zbMath1060.03045OpenAlexW2017014477MaRDI QIDQ598547

Jan M. Broersen

Publication date: 6 August 2004

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/19964

zbMATH Keywords

deontic logicdynamic logicaction negationaction theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (8)

OBLIGATION, FREE CHOICE, AND THE LOGIC OF WEAKEST PERMISSIONS ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Open Reading and Free Choice Permission: A Perspective in Substructural Logics ⋮ Completely and partially executable sequences of actions in deontic context ⋮ A Formal Language for Electronic Contracts ⋮ A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts ⋮ Supercover semantics for deontic action logic ⋮ Jerzy Kalinowski's logic of normative sentences revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Getting started: Beginnings in the logic of action
• Action theory and social science. Some formal models
• Free choice and contextually permitted actions
• Stenius' approach to disjunctive permission
• Dynamic logic with program specifications and its relational proof system
• The dynamic logic of permission
• Law and logic

This page was built for publication: Action negation and alternative reductions for dynamic deontic logics