Synthese 199 (3-4):8641-8700 (2021)

Carlo Proietti
University of Amsterdam
This paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of communication and information update by the participants. After locating our proposal and introducing the relevant tools from abstract argumentation, we proceed to build a three-tiered logical approach. At the first level, we use the language of propositional logic to encode states of a multi-agent debate. This language allows to specify which arguments any agent is aware of, as well as their subjective justification status. We then extend our language and semantics to that of epistemic logic, in order to model individuals’ beliefs about the state of the debate, which includes uncertainty about the information available to others. As a third step, we introduce a framework of dynamic epistemic logic and its semantics, which is essentially based on so-called event models with factual change. We provide completeness results for a number of systems and show how existing formalisms for argumentation dynamics and unquantified uncertainty can be reduced to their semantics. The resulting framework allows reasoning about subtle epistemic and argumentative updates—such as the effects of different levels of trust in a source—and more in general about the epistemic dimensions of strategic communication.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/s11229-021-03178-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,214
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Enigma of Reason.Dan Sperber & Hugo Mercier (eds.) - 2017 - Cambridge, MA, USA: Harvard University Press.
Fallacies.Charles Leonard Hamblin - 1970 - London, England: Vale Press.

View all 46 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Terminating Tableaux for Dynamic Epistemic Logics.Jens Ulrik Hansen - 2010 - Electronic Notes in Theoretical Computer Science 262:141-156.
Dynamic Graded Epistemic Logic.Minghui Ma & Hans van Ditmarsch - 2019 - Review of Symbolic Logic 12 (4):663-684.
Abduction in Argumentation Frameworks.Chiaki Sakama - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):218-239.
Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
Modelling Epistemic Actions in Interrogative Belief Revision.Sebastian Enqvist - 2012 - Journal of Logic and Computation 22 (6):1335-1365.


Added to PP index

Total views
6 ( #1,133,611 of 2,507,555 )

Recent downloads (6 months)
1 ( #416,983 of 2,507,555 )

How can I increase my downloads?


My notes