在前人工作的基础上，将形式学习理论和拓扑环境中的动态认识逻辑联系起来，我们引入了一个学习理论的动态逻辑（DLLT），使用动态扩展子集空间逻辑观测方式，以及一个学习运算符，该运算符对学习者的猜想在观察了有限的数据序列之后。我们完全公理化了DLLT，研究了它的表达性，并用它来描述各种知识、信仰和学习的概念。
| 原始语言 | 英语 |
|---|
| 主办出版物标题 | 动态逻辑。新趋势和应用：2017年9月23日至24日在巴西巴西利亚举行的2017年DALI第一届国际研讨会，会议记录 |
|---|
| 编辑 | 亚历山大·马德拉，马里奥·贝内维提斯 |
|---|
| 音量 | 10669 |
|---|
| 出版商 | 施普林格 |
|---|
| 出版日期 | 2018 |
|---|
| 页 | 35-54 |
|---|
| ISBN（电子版） | 978-3-319-73579-5 |
|---|
| 内政部 | |
|---|
| 出版物状态 | 已发布-2018 |
|---|
| 事件 | DaLi-动态逻辑：2017年新趋势和应用-巴西巴西利亚
持续时间：2017年9月23日→2017年9月24日
会议编号：1 |
|---|
| 车间 | 达利-动态逻辑：2017年新趋势与应用 |
|---|
| 编号 | 第一 |
|---|
| 国家/地区 | 巴西 |
|---|
| 西蒂 | 巴西利亚 |
|---|
| 期间 | 23/09/2017→24/09/2017 |
|---|
| 系列 | 计算机科学课堂讲稿 |
|---|
| 国际标准编号 | 0302-9743 |
|---|
- 学习理论
- 动态认知逻辑
- 模态逻辑
- 子集空间语义
- 归纳知识
- 认识论