Introduces direct belief contraction on unconstrained Kripke models in DEL, shows it satisfies some but not all contraction properties, and gives sound complete axiomatizations for the logic and its extension to private announcements.
Introspective forgetting
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
Develops epistemic logics with weighted models and an epistemic skills metric to model knowledge acquisition as upskilling and oblivion as downskilling, and studies knowability, forgettability, and computational complexity.
ASPIC+ frameworks with uncertain preferences have limited expressivity relative to abstract uncertain-defeat models, shown via negative results and preliminary proofs toward a conjectured non-trivial threshold.
citing papers explorer
-
Belief Contraction in Dynamic Epistemic Logic
Introduces direct belief contraction on unconstrained Kripke models in DEL, shows it satisfies some but not all contraction properties, and gives sound complete axiomatizations for the logic and its extension to private announcements.
-
Some Results about the Expressivity of Preference-Incomplete Structured Argumentation Frameworks
ASPIC+ frameworks with uncertain preferences have limited expressivity relative to abstract uncertain-defeat models, shown via negative results and preliminary proofs toward a conjectured non-trivial threshold.