A Dynamic Logic for Learning Theory
| Authors | |
|---|---|
| Publication date | 12-2019 |
| Journal | Journal of Logical and Algebraic Methods in Programming |
| Article number | 100485 |
| Volume | Issue number | 109 |
| Number of pages | 20 |
| Organisations |
|
| Abstract | Building on previous work that bridged Formal Learning Theory and Dynamic Epistemic Logic in a topological setting, we introduce a Dynamic Logic for Learning Theory (DLLT), extending Subset Space Logics with dynamic observation modalities, as well as with a learning operator, which encodes the learner's conjecture after observing a finite sequence of data . We completely axiomatise DLLT, study its expressivity and use it to characterise various notions of knowledge, belief, and learning. |
| Document type | Article |
| Language | English |
| Related publication | A dynamic logic for learning theory |
| Published at | https://doi.org/10.1016/j.jlamp.2019.100485 |
| Downloads |
1-s2.0-S2352220818300890-main
(Final published version)
|
| Permalink to this page | |
