Dynamic epistemic logics for abstract argumentation
From MaRDI portal
Publication:6147179
DOI10.1007/s11229-021-03178-5zbMath1529.03136MaRDI QIDQ6147179
Carlo Proietti, Antonio Yuste-Ginel
Publication date: 1 February 2024
Published in: Synthese (Search for Journal in Brave)
dynamic epistemic logicpersuasionabstract argumentationstrategic argumentationawareness logicsmulti-agent argumentation frameworks
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Argumentation update in YALLA (yet another logic language for argumentation)
- On axiomatizations of public announcement logic
- The dynamics of awareness
- Verification in incomplete argumentation frameworks
- Logics of communication and change
- Dynamic epistemic logic
- On the merging of Dung's argumentation systems
- Belief, awareness, and limited reasoning
- A logic for default reasoning
- Propositional dynamic logic of regular programs
- Reasoning about information change
- From fine-grained properties to broad principles for gradual argumentation: a principled spectrum
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- A logical account of formal argumentation
- Logics for epistemic programs
- SCC-recursiveness: a general schema for argumentation semantics
- Conditional Epistemic Planning
- Building an Epistemic Logic for Argumentation
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Logical Dynamics of Information and Interaction
- Possible Worlds Semantics Based on Observation and Communication
- Handling Ignorance in Argumentation: Semantics of Partial Argumentation Frameworks
- Consistency Preservation and Crazy Formulas in BMS
- On the Issue of Reinstatement in Argumentation
- Change in Abstract Argumentation Frameworks: Adding an Argument
- SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US?
- Dynamic logic for belief revision
- Expressivity and completeness for public update logics via reduction axioms
- On the logic of theory change: Partial meet contraction and revision functions
- Encoding Argument Graphs in Logic
- Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach
This page was built for publication: Dynamic epistemic logics for abstract argumentation