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

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

Kees van Berkel, F. Oliveri, 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)

Cites Work

• Modal logic
• On the logic of ability
• Propositional dynamic logic of regular programs
• Title not available (Why is that?)
• Deontic epistemic stit logic distinguishing modes of mens rea
• Title not available (Why is that?)
• A dynamic deontic logic for complex contracts
• Title not available (Why is that?)
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computing strong and weak permissions in defeasible logic
• Practical Normative Reasoning with Defeasible Deontic Logic

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)