# Epistemic Skills: Logical Dynamics of Knowing and Forgetting

arXiv: https://arxiv.org/abs/2410.22763 · HTML: https://mlsanity.com/paper/2410.22763/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 30 Oct 2024.

## Built on by (most cited first, 1 of 1)

- [Epistemic Skills: Reasoning about Knowledge and Oblivion](https://mlsanity.com/paper/2504.01733/) (2025)

## Abstract (arXiv)

We present a type of epistemic logics that encapsulates both the dynamics of acquiring knowledge (knowing) and losing information (forgetting), alongside the integration of group knowledge concepts. Our approach is underpinned by a system of weighted models, which introduces an "epistemic skills" metric to effectively represent the epistemic abilities associated with knowledge update. In this framework, the acquisition of knowledge is modeled as a result of upskilling, whereas forgetting is by downskilling. Additionally, our framework allows us to explore the concept of "knowability," which can be defined as the potential to acquire knowledge through upskilling, and facilitates a nuanced understanding of the distinctions between epistemic de re and de dicto expressions. We study the computational complexity of model checking problems for these logics, providing insights into both the theoretical underpinnings and practical implications of our approach.