Sequent-Based Argumentation for Normative Reasoning

DOI10.1007/978-3-319-08615-6_17zbMath1445.03032OpenAlexW2113114620MaRDI QIDQ2879304

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)

Related Items (4)

Logical argumentation by dynamic proof systems ⋮ Deductive argumentation by enhanced sequent calculi and dynamic derivations ⋮ Theory of semi-instantiation in abstract argumentation ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency

This page was built for publication: Sequent-Based Argumentation for Normative Reasoning