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

DOI10.1007/978-3-030-44638-3_14OpenAlexW3012965081MaRDI QIDQ5098752

Kees van Berkel, Francesco Olivieri, Tim S. Lyon

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

decidabilitydeontic logicaction logicaction constantsagency logicAndersonian reductionnorms of instrumentality

Mathematics Subject Classification ID

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

Related Items (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

Cites Work

• A dynamic deontic logic for complex contracts
• Deontic epistemic stit logic distinguishing modes of mens rea
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• On the logic of ability
• Propositional dynamic logic of regular programs
• Computing strong and weak permissions in defeasible logic
• Practical Normative Reasoning with Defeasible Deontic Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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