Modal provability foundations for argumentation networks

DOI10.1007/s11225-009-9215-0zbMath1188.03012MaRDI 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 logic; provability logic; argumentation frames

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

03F45: Provability logics and related algebras (e.g., diagonalizable algebras)

Related Items

Propositional discourse logic, 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, Semantics for higher level attacks in extended argumentation frames. I: Overview, Fibring argumentation frames, A logical account of formal argumentation, Introducing Equational Semantics for Argumentation Networks

Cites Work

• Unnamed Item
• Unnamed Item
• 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