Theoretical Computer Science
Completeness of Kozen's axiomatisation of the propositional &mgr;-calculus
Information and Computation
Modal logic
On the issue of reinstatement in argumentation
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A logic of abstract argumentation
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
An application of model checking games to abstract argumentation
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Argumentation in the view of modal logic
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Possible world semantics for defeasible deontic logic
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Building an epistemic logic for argumentation
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Arguing with justifications between collaborating agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
A logic of argumentation for specification and verification of abstract argumentation frameworks
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), new techniques (e.g., calculi, model-checking games, bisimulation games), and results (e.g., completeness of calculi, adequacy of games, complexity of model-checking) from logic to argumentation.