Logical argumentation by dynamic proof systems
From MaRDI portal
Publication:2424889
Recommendations
Cites work
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 4104920 (Why is no real title available?)
- scientific article; zbMATH DE number 1054727 (Why is no real title available?)
- scientific article; zbMATH DE number 6934384 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- A general account of argumentation with preferences
- A logic-based theory of deductive arguments
- A mathematical treatment of defeasible reasoning and its implementation.
- A sequent-based representation of logical argumentation
- A universal logic approach to adaptive logics
- Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
- An abstract, argumentation-theoretic approach to default reasoning
- An argumentation framework in default logic
- Argumentation Semantics for Defeasible Logic
- Deductive argumentation by enhanced sequent calculi and dynamic derivations
- Defeasible logic programming: an argumentative approach
- Dialectic proof procedures for assumption-based, admissible argumentation
- Dynamic argument systems: A formal model of argumentation processes based on situation calculus
- How to reason defeasibly
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Nonmonotonic inference based on expectations
- Nonmonotonic reasoning, preferential models and cumulative logics
- Normative reasoning by sequent-based argumentation
- On inference from inconsistent premisses
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- On the theory of inconsistent formal systems
- Reasoning with maximal consistency by argumentative approaches
- Semi-stable semantics
- Sequent-based argumentation for normative reasoning
- Two approaches to the formalisation of defeasible deontic reasoning
- Two party immediate response disputes: Properties and efficiency
- \(\mathbf{RM}\) and its nice properties
Cited in
(15)- scientific article; zbMATH DE number 4137750 (Why is no real title available?)
- A postulate-driven study of logical argumentation
- A dialectical formalisation of preferred subtheories reasoning under resource bounds
- A sequent-based representation of logical argumentation
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- A natural deduction approach to dynamic logic
- Towards the proof-theoretic unification of Dung's argumentation framework: an adaptive logic approach
- A review of the relations between logical argumentation and reasoning with maximal consistency
- A paraconsistent approach to deal with epistemic inconsistencies in argumentation
- Structural Properties for Deductive Argument Systems
- Automata, Languages and Programming
- Attack principles in sequent-based argumentation theory
- Reasoning with maximal consistency by argumentative approaches
- Relating protocols for dynamic dispute with logics for defeasible argumentation
- Deductive argumentation by enhanced sequent calculi and dynamic derivations
This page was built for publication: Logical argumentation by dynamic proof systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2424889)
