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

DOI10.12775/LLP.2023.004MaRDI QIDQ6535323zbMATH OpenFDO

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)

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)

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}}+$

Cites work

• scientific article; zbMATH DE number 1032010 (Why is no real title available?)
• scientific article; zbMATH DE number 6741894 (Why is no real title available?)
• scientific article; zbMATH DE number 6297880 (Why is no real title available?)
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Agent strands in the action language \(n\mathcal C +\)
• Connecting actions and states in deontic logic
• Deontic database constraints, violation and recovery
• 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.
• Nonmonotonic causal theories
• On deontic action logics based on Boolean algebra
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• The dynamic logic of permission

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)