【摘 要】
：
Classic epistemic logic focuses on propositional knowledge(knowing that p).However,various kinds of knowledge are used in everyday life,which suggest non-st
论文部分内容阅读
Classic epistemic logic focuses on propositional knowledge(knowing that p).However,various kinds of knowledge are used in everyday life,which suggest non-standard but interesting new modal operators.In this talk,we survey our line of work on modal logics based on “knowing whether” and “knowing what” operators.These new logics are not normal due to the lack of standard modal axioms,which require new techniques to handle.As the main results,we give complete axiomatizations to various modal logics based on these new operators,and dynamify them using public announcements to incorporate knowledge updates.This talk is based on joint works with Jie Fan and Hans van Ditmarsch.
其他文献
本论文采用不锈钢微通道反应器,首先考察了Cr2O3/ZnO固溶体催化剂对甲醇水汽重整反应的催化性能。结果表明ZnO是其中的活性组分,Cr的加入有助于催化剂活性和稳定性的提高,这可归因于ZnCr2O4固溶体的形成。但Cr的加入导致CO选择性增加。在浸渍法制备了Zn-Cr催化剂上,考察了甲醇水汽重整、甲醇部分氧化、甲醇氧化重整以及水气变换等反应过程,探讨了甲醇水汽重整和氧化重整两个过程的独立反应网络。
In this talk,I will present some recent work related to precipitous ideal on ω1.We give an upper bounded of consistent strength of TCG ideal and non statio
This paper shows the non-triviality of second-order paraconsistent comprehension and Freges infamous Basic Law V.Then,it shows that Humes Principle can be d
Mammalogical research in the Guianas has had a checkered history beginning with being relatively well known during the time of Linnaeus and then followed by
In Part 1,I will introduce Frege theorem and Frege arithmetic,then I will give some models of Frege arithmetic,including the fragments of first-order one an
Pseudomonassp.CP1108为分离自棉花根圈的解磷假单胞菌，经过16S rDNA序列比对，鉴定为荧光假单胞。通过三亲本杂交的方法将标记基因luxAB接合转移进CP1108菌株，所得的标记菌株CP1
己二酸广泛应用于尼龙-6,6、可塑剂、食品添加剂、纤维的制造,全世界年生产总量达280万吨.目前己二酸主要通过空气和硝酸氧化环己烷得到,该生产工艺存在转化率和选择性低、生
Rodents could influence plant regeneration as both seed predators and dispersers.With the combination of both field and experimental(in cage and semi-natura
克拉玛依石化公司Ⅰ套常减压装置的腐蚀问题是关系公司能否安全生产和达标的重要方面,有针对性地解决蒸馏装置的腐蚀问题具有十分重要意义。本文通过对克拉玛依石化公司加工