A unified logical framework for reasoning about deontic properties of actions and states

DOI10.12775/LLP.2023.004zbMATH Open1542.03042MaRDI QIDQ6535323FDOQ6535323

Authors: Piotr Kulicki, Robert Trypuz, Robert Craven, Marek Sergot 

Publication date: 12 December 2023

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Recommendations

• Connecting actions and states in deontic logic
• Generalizing deontic action logic
• Publication:4952293
• A deontic logic of actions and states
• The Deontic Component of Action Language $n{\mathcal{C}}+$

zbMATH Keywords

deontic logictransition systemdeontic action logicconditional normsought to beought to do\(n \mathcal{C}+\)

Mathematics Subject Classification ID

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

Cites Work

• Nonmonotonic causal theories
• The dynamic logic of permission
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Deontic database constraints, violation and recovery
• Title not available (Why is that?)
• On deontic action logics based on Boolean algebra
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• Title not available (Why is that?)
• Monitoring, security, and rescue techniques in multiagent systems. Selected contributions presented at the international workshop ``Monitoring, security, and rescue techniques in multiagent systems (MSRAS 2004), Płock, Poland, June 7--9, 2004.
• Agent strands in the action language \(n\mathcal C +\)
• Title not available (Why is that?)
• Connecting actions and states in deontic logic

This page was built for publication: A unified logical framework for reasoning about deontic properties of actions and states

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