Normative reasoning by sequent-based argumentation

DOI10.1093/LOGCOM/EXV050zbMATH Open1444.03075OpenAlexW2337356819MaRDI QIDQ5222691FDOQ5222691

Authors Christian Straßer, Ofer Arieli

Publication date 10 July 2019

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/3c7e64bad24f0bd5107a3b07636c8a715f722f5c

zbMATH Keywords

deontic logicsequent calculideontic conflictsnormative argumentation frameworks

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Recommendations

• Sequent-based argumentation for normative reasoning
• Argumentation-based normative practical reasoning
• Argument schemes for normative practical reasoning
• Sequent rules for reasoning and conflict resolution in conditional norms
• A sequent-based representation of logical argumentation
• A normal form for argumentation frameworks
• Practical Normative Reasoning with Defeasible Deontic Logic
• Assumptive sequent-based argumentation
• Conditional normative reasoning with substructural logics

Cited in

(13)

• Sequent rules for reasoning and conflict resolution in conditional norms
• scientific article; zbMATH DE number 1405889 (Why is no real title available?)
• Stable normative explanations: from argumentation to deontic logic
• Sequent-based argumentation for normative reasoning
• Logical argumentation by dynamic proof systems
• A deontic argumentation framework towards doctrine reification
• Arguing about constitutive and regulative norms
• Sequence Semantics for Normative Agents
• A postulate-driven study of logical argumentation
• A review of the relations between logical argumentation and reasoning with maximal consistency
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Prioritized norms in formal argumentation
• Prioritized norms and defaults in formal argumentation

This page was built for publication: Normative reasoning by sequent-based argumentation

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