A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms

DOI10.1007/978-3-030-44638-3_14MaRDI QIDQ5098752zbMATH OpenOpenAlexFDO

Authors Kees van Berkel, Tim S. Lyon, F. Oliveri

Publication date 30 August 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10072/411959

zbMATH Keywords

action constantsaction logicagency logicAndersonian reductiondecidabilitydeontic logicnorms of instrumentality

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Generalizing deontic action logic
• Combining deontic and action logics for collective agency
• Logic and ethics: an integrated model for norms, intentions and actions
• Robust normative systems and a logic of norm compliance
• scientific article; zbMATH DE number 1444714

Cites work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• A dynamic deontic logic for complex contracts
• Agency and deontic logic
• Computing strong and weak permissions in defeasible logic
• Deontic epistemic stit logic distinguishing modes of mens rea
• scientific article; zbMATH DE number 1163374 (Why is no real title available?)
• scientific article; zbMATH DE number 1405872 (Why is no real title available?)
• scientific article; zbMATH DE number 6741896 (Why is no real title available?)
• scientific article; zbMATH DE number 3274722 (Why is no real title available?)
• Modal logic
• On the logic of ability
• Practical Normative Reasoning with Defeasible Deontic Logic
• Propositional dynamic logic of regular programs

Cited in

(2)

• A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
• Deontic paradoxes in Mīmāṃsā logics: there and back again

This page was built for publication: A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms

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