Logical argumentation by dynamic proof systems

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
How to reason defeasibly
Nonmonotonic reasoning, preferential models and cumulative logics
Nonmonotonic inference based on expectations
An abstract, argumentation-theoretic approach to default reasoning
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and $n$-person games
Dialectic proof procedures for assumption-based, admissible argumentation
On inference from inconsistent premisses
A general account of argumentation with preferences
Defeasible logic programming: an argumentative approach
On the theory of inconsistent formal systems
A universal logic approach to adaptive logics
A logic-based theory of deductive arguments
A mathematical treatment of defeasible reasoning and its implementation.
An argumentation framework in default logic
Argumentation Semantics for Defeasible Logic
Semi-stable semantics
Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
Dynamic argument systems: A formal model of argumentation processes based on situation calculus
Instantiating abstract argumentation with classical logic arguments: postulates and properties
Two party immediate response disputes: Properties and efficiency
Sequent-Based Argumentation for Normative Reasoning
Two approaches to the formalisation of defeasible deontic reasoning
Deductive argumentation by enhanced sequent calculi and dynamic derivations
A Sequent-Based Representation of Logical Argumentation
$$\mathbf {RM}$$ RM and its Nice Properties
Reasoning with maximal consistency by argumentative approaches
Normative reasoning by sequent-based argumentation

Cited In (8)

A postulate-driven study of logical argumentation
A generalized proof-theoretic approach to logical argumentation based on hypersequents
A natural deduction approach to dynamic logic
A review of the relations between logical argumentation and reasoning with maximal consistency
Structural Properties for Deductive Argument Systems
A paraconsistent approach to deal with epistemic inconsistencies in argumentation
Automata, Languages and Programming
Deductive argumentation by enhanced sequent calculi and dynamic derivations

Uses Software

OSCAR

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)