An arrow-based dynamic logic of normative systems and its decidability

DOI10.1007/978-3-031-45558-2_5MaRDI QIDQ6562529FDO

Authors Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu

Publication date 26 June 2024

zbMATH Keywords

arrow update logicnormative systemtableau method

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3361854 (Why is no real title available?)
• A Temporal Logic of Normative Systems
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Agency and deontic logic
• Alternating-time temporal logic
• Arbitrary arrow update logic
• Arrow update logic
• Choosing social laws for multi-agent systems: Minimality and simplicity
• Conditional obligation, deontic paradoxes, and the logic of agency
• On social laws for artificial agent societies: off-line design
• Robust normative systems and a logic of norm compliance
• The dynamic logic of permission

This page was built for publication: An arrow-based dynamic logic of normative systems and its decidability

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