|
|||||
|
|
| 状态相似性与流量限制模型 | |
| 引用本文： | 查非,刘虎.状态相似性与流量限制模型[J].中山大学学报论丛,2011,4(2). |
| 作者姓名： | 查非 刘虎 |
| 作者单位： | 中山大学哲学系 |
| 基金项目： | 全国优秀博士学位论文作者专项资金资助项目2007B01，中央高校基本科研业务费专项资金资助 |
| 摘 要： | 在可能世界语义中,如果根据是否含有模态算子而将一个点上为真的公式分为两类,那么可以认为不含模态算子的公式描述的是当前点的信息,其它公式描述的是其它点的信息,以及当前点与其它点的关系。通过对不同点上命题真值指派的比较,我们可以在可能世界语义模型上定义出一种状态相似性。本文构造了三类刻画状态相似性的模型,并给出了分别刻画其中两类模型的完全的系统。本文最后讨论这些模型在时态逻辑和信念逻辑中的应用。 |
| 关 键 词： | 状态相似 赋值 模型 |
Similarity of States and Models of Restricted Flux |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |