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.
Model checking for coalition announcement logic
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Epistemic Skills: Reasoning about Knowledge and Oblivion
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.