知道一个行动的逻辑(英文)

以活动为认知对象的逻辑还没有系统地建立。本文我们采用半无穷方法、自代入方法、固定点方法和拟赋值方法全面建立这样的逻辑,从而研究知道一个活动的各种逻辑特性。根据这些方法,我们分别提出四类刻画知道一个活动的逻辑系统和相应的语义,然后证明这些系统相对各自的语义是可靠和完全的。

Logics for Knowing an Action

The logics of which epistemic objects are actions have been systematically established yet. In this paper, we use Half-infinitary method, Self-substitution method, Fixed-point method and Quasi-valuation method to comprehensively establish such logics, and thus investigate various logical features of knowing an action. According to such methods, we present four kinds of logical systems characterzing knowing an action and the corresponding semantics, and then prove that the systems are sound and complete with respect to the semantics, respectively.