Sequent rules for reasoning and conflict resolution in conditional norms

MaRDI QIDQ5878366FDOQ5878366

Authors: Agata Ciabattoni, Björn Lellmann 

Publication date: 21 February 2023

Recommendations

• Normative reasoning by sequent-based argumentation
• Sequent-based argumentation for normative reasoning
• Deontic Logic in Computer Science
• Conflicting imperatives and dyadic deontic logic
• A unifying framework for reasoning about normative conflicts

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (2)

• Sequence Semantics for Normative Agents
• Normative reasoning by sequent-based argumentation

This page was built for publication: Sequent rules for reasoning and conflict resolution in conditional norms

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