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

DOI10.12775/llp.2023.004zbMATH Open1542.03042MaRDI QIDQ6535323

Piotr Kulicki, Robert Trypuz, Marek Sergot, Robert Craven

Publication date: 12 December 2023

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

zbMATH Keywords

conditional normsdeontic logictransition systemdeontic action logicought to beought to do\(n \mathcal{C}+\)

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nonmonotonic causal theories
• 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.
• 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)