Sequent-based argumentation for normative reasoning

DOI10.1007/978-3-319-08615-6_17MaRDI QIDQ2879304zbMATH OpenOpenAlexFDO

Authors Christian Straßer, Ofer Arieli

Publication date 8 September 2014

Published in Deontic Logic and Normative Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08615-6_17

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Normative reasoning by sequent-based argumentation
• Arguing about constitutive and regulative norms
• A deontic argumentation framework towards doctrine reification
• Prioritized norms and defaults in formal argumentation
• A unifying framework for reasoning about normative conflicts

Cited in

(13)

• Deductive argumentation by enhanced sequent calculi and dynamic derivations
• A review of the relations between logical argumentation and reasoning with maximal consistency
• Logical argumentation by dynamic proof systems
• Sequence Semantics for Normative Agents
• Arguing about constitutive and regulative norms
• scientific article; zbMATH DE number 1405889 (Why is no real title available?)
• Prioritized norms in formal argumentation
• Normative reasoning by sequent-based argumentation
• Theory of semi-instantiation in abstract argumentation
• A deontic argumentation framework towards doctrine reification
• Sequent rules for reasoning and conflict resolution in conditional norms
• Stable normative explanations: from argumentation to deontic logic
• Reasons in weighted argumentation graphs

This page was built for publication: Sequent-based argumentation for normative reasoning

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