Normative reasoning by sequent-based argumentation

DOI10.1093/logcom/exv050zbMath1444.03075OpenAlexW2337356819MaRDI QIDQ5222691

Ofer Arieli, Christian Straßer

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) Logic in artificial intelligence (68T27) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Logical argumentation by dynamic proof systems ⋮ A postulate-driven study of logical argumentation ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency