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)

Full work available at URL https://doi.org/10.12775/LLP.2023.004

zbMATH Keywords

\(n \mathcal{C}+\)conditional normsdeontic action logicdeontic logicought to beought to dotransition system

Mathematics Subject Classification ID

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

Recommendations

• Connecting actions and states in deontic logic
• Generalizing deontic action logic
• scientific article; zbMATH DE number 1444714
• A deontic logic of actions and states
• The Deontic Component of Action Language $n{\mathcal{C}}+$

Cites work

• 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
• 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?)
• 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

Cited in

(2)

• Generalizing deontic action logic
• Actions and deontology: Janusz Czelakowski on actions and their assessment

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)