An Application of Model Checking Games to Abstract Argumentation

DOI10.1007/978-3-642-24130-7_5zbMath1298.03065OpenAlexW158582132WikidataQ62045421 ScholiaQ62045421MaRDI QIDQ3093997

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)

Related Items (2)

A QBF-based formalization of abstract argumentation semantics ⋮ Abstract argument games via modal logic

Cites Work

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

This page was built for publication: An Application of Model Checking Games to Abstract Argumentation