Modal provability foundations for argumentation networks

DOI10.1007/s11225-009-9215-0zbMath1188.03012OpenAlexW2106512042MaRDI QIDQ2269511

Dov M. Gabbay

Publication date: 17 March 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9215-0

zbMATH Keywords

modal logicprovability logicargumentation frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (7)

A logic of argumentation for specification and verification of abstract argumentation frameworks ⋮ Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger ⋮ Propositional discourse logic ⋮ Introducing Equational Semantics for Argumentation Networks ⋮ Semantics for higher level attacks in extended argumentation frames. I: Overview ⋮ Fibring argumentation frames ⋮ A logical account of formal argumentation

Cites Work

• Provability interpretations of modal logic
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• An argumentation-theoretic foundation for logic programming
• Mechanizing Mathematical Reasoning
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal provability foundations for argumentation networks