Sequent rules for reasoning and conflict resolution in conditional norms

MaRDI QIDQ5878366FDO

Authors Agata Ciabattoni, Björn Lellmann

Publication date 21 February 2023

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)

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

Cited in

(2)

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

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)