Book chapter · Conference paper
A Dynamic Logic for Learning Theory
In
Lecture Notes in Computer Science
—
2018, Volume 10669, pp. 35-54
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.
| Language: | English |
|---|---|
| Publisher: | Springer |
| Year: | 2018 |
| Pages: | 35-54 |
| Proceedings: | DaLi - Dynamic Logic: new trends and applications 2017 |
| Series: | Lecture Notes in Computer Science |
| Journal subtitle: | First International Workshop, Dali 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings |
| ISBN: | 3319735780 , 3319735799 , 9783319735788 and 9783319735795 |
| ISSN: | 16113349 and 03029743 |
| Types: | Book chapter and Conference paper |
| DOI: | 10.1007/978-3-319-73579-5_3 |
| ORCIDs: | 0000-0002-0646-2017 and Gierasimczuk, Nina |
