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

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

Mo Liu, Hans van Ditmarsch, Louwe B. Kuijer

Publication date: 26 June 2024

zbMATH Keywords

arrow update logicnormative systemtableau method

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• ARROW UPDATE LOGIC
• Alternating-time temporal logic
• Conditional obligation, deontic paradoxes, and the logic of agency
• A Temporal Logic of Normative Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Choosing social laws for multi-agent systems: Minimality and simplicity
• On social laws for artificial agent societies: off-line design
• Robust normative systems and a logic of norm compliance
• Arbitrary arrow update logic
• The dynamic logic of permission
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic

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)