Dynamic Epistemic Logic of Finite Identification

被引：0
|
作者：
Ma, Minghui [1 ]
机构：
[1] Tsinghua Univ, Dept Philosophy, Beijing 100084, Peoples R China
来源：
LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS | 2009年 / 5834卷
关键词：
learning theory; finite identification; dynamic epistemic logic;
D O I：
10.1007/978-3-642-04893-7_18
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Following the approach given by Nina, Gierasimczuk [2009] to bridge dynamic epistemic logic and learning theory, the logic of finite identification in the limit in the process of learning has been explored in this paper. The main results are two complete axiomatic systems. One is defined in terms of public announcements, and the other in terms of update by event models.
引用
收藏
页码：227 / 237
页数：11
相关论文
共 50 条
  • [1] Dynamic Epistemic Logic
    Girard, Patrick
    [J]. AUSTRALASIAN JOURNAL OF LOGIC, 2009, 7 : 26 - 31
  • [2] Dynamic epistemic logic in update logic
    Aucher, Guillaume
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1913 - 1960
  • [3] Probabilistic Dynamic Epistemic Logic
    Barteld P. Kooi
    [J]. Journal of Logic, Language and Information, 2003, 12 (4) : 381 - 408
  • [4] Inquisitive dynamic epistemic logic
    Ciardelli, Ivano A.
    Roelofsen, Floris
    [J]. SYNTHESE, 2015, 192 (06) : 1643 - 1687
  • [5] Concurrent dynamic epistemic logic
    Van Ditmarsch, HP
    Van Der Hoek, W
    Kooi, BP
    [J]. KNOWLEDGE CONTRIBUTORS, 2003, 322 : 105 - 143
  • [6] The Dynamic Turn in Epistemic Logic
    Demey, Lorenz
    [J]. TIJDSCHRIFT VOOR FILOSOFIE, 2016, 78 (02) : 365 - 391
  • [7] DYNAMIC GRADED EPISTEMIC LOGIC
    Ma, Minghui
    Van Ditmarsch, Hans
    [J]. REVIEW OF SYMBOLIC LOGIC, 2019, 12 (04): : 663 - 684
  • [8] Dynamic Epistemic Temporal Logic
    Renne, Bryan
    Sack, Joshua
    Yap, Audrey
    [J]. LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 : 263 - +
  • [9] Dynamic Epistemic Logic Displayed
    Greco, Giuseppe
    Kurz, Alexander
    Palmigiano, Alessandra
    [J]. LOGIC, RATIONALITY, AND INTERACTION (LORI 2013), 2013, 8196 : 135 - 148
  • [10] Categories for Dynamic Epistemic Logic
    Kishida, Kohei
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (251): : 353 - 372
12345