共 50 条
- [11] Dynamic epistemic logic in update logic [J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1913 - 1960
- [13] IF and epistemic action logic [J]. Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today, 2006, 3 : 261 - 281
- [16] An Epistemic Separation Logic [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, 2015, 9160 : 156 - 173
- [17] ON AN EPISTEMIC APPROACH TO LOGIC [J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1981, 59 (01) : 86 - 91