Normative reasoning by sequent-based argumentation
From MaRDI portal
Publication:5222691
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
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