An application of model checking games to abstract argumentation

DOI10.1007/978-3-642-24130-7_5MaRDI QIDQ3093997zbMATH OpenOpenAlexWikidataFDO

Authors Davide Grossi

Publication date 19 October 2011

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24130-7_5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Recommendations

• Abstract argument games via modal logic
• A logical account of formal argumentation
• A Logic of Abstract Argumentation
• A Game-Theoretic Measure of Argument Strength for Abstract Argumentation
• Abstract games of argumentation strategy and game-theoretical argument strength

Cites work

• Modal logic
• Model Checking Games
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Propositional quantifiers in modal logic1
• Skepticism relations for comparing argumentation semantics

Cited in

(7)

• Abstract games of argumentation strategy and game-theoretical argument strength
• A QBF-based formalization of abstract argumentation semantics
• Formalizing opponent modeling with the rock, paper, scissors game
• A Game-Theoretic Measure of Argument Strength for Abstract Argumentation
• The Parallel Intensionally Fully Abstract Games Model of PCF
• Abstract argument games via modal logic
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: An application of model checking games to abstract argumentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3093997)