共 50 条
- [33] An Epistemic Separation Logic [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, 2015, 9160 : 156 - 173
- [34] ON AN EPISTEMIC APPROACH TO LOGIC [J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1981, 59 (01) : 86 - 91
- [40] Epistemic logic and planning [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2004, 3214 : 36 - 45