Dynamic epistemic logics for abstract argumentation
From MaRDI portal
Recommendations
- Building an epistemic logic for argumentation
- Qualitative uncertainty and dynamics of argumentation through dynamic logic
- A Logic of Knowledge and Belief Based on Abstract Arguments
- Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic
- A logic of knowledge based on abstract arguments
Cites work
- A logic for default reasoning
- A logical account of formal argumentation
- Argument strength in formal argumentation
- Argumentation update in YALLA (yet another logic language for argumentation)
- Belief, awareness, and limited reasoning
- Building an epistemic logic for argumentation
- Change in abstract argumentation frameworks: adding an argument
- Computing preferred extensions in abstract argumentation: a SAT-based approach
- Conditional epistemic planning
- Consistency Preservation and Crazy Formulas in BMS
- Credulous and skeptical acceptance in incomplete argumentation frameworks
- Dynamic epistemic logic
- Dynamic logic for belief revision
- Encoding argument graphs in logic
- Expressivity and completeness for public update logics via reduction axioms
- From fine-grained properties to broad principles for gradual argumentation: a principled spectrum
- Handling Ignorance in Argumentation: Semantics of Partial Argumentation Frameworks
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 824735 (Why is no real title available?)
- Logical dynamics of information and interaction
- Logics for epistemic programs
- Logics of communication and change
- Modal logic
- On axiomatizations of public announcement logic
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- On the Issue of Reinstatement in Argumentation
- On the logic of theory change: Partial meet contraction and revision functions
- On the merging of Dung's argumentation systems
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- Possible worlds semantics based on observation and communication
- Propositional dynamic logic of regular programs
- Reasoning about information change
- SCC-recursiveness: a general schema for argumentation semantics
- Sentences, belief and logical omniscience, or what does deduction tell us?
- Some truths are best left unsaid
- The dynamics of awareness
- The logic of public announcements, common knowledge, and private suspicions
- Verification in incomplete argumentation frameworks
Cited in
(7)- Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic
- A Logic of Knowledge and Belief Based on Abstract Arguments
- Qualitative uncertainty and dynamics of argumentation through dynamic logic
- An Abstract Look at Awareness Models and Their Dynamics
- Efficient analysis of belief properties in process algebra
- An awareness epistemic framework for belief, argumentation and their dynamics
- Argument-based belief and the evidence topology
This page was built for publication: Dynamic epistemic logics for abstract argumentation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6147179)
