| 状态相似性与流量限制模型 |
| |
| 引用本文： | 查非,刘虎.状态相似性与流量限制模型[J].逻辑学研究,2011(2):1-19. |
| |
| 作者姓名： | 查非 刘虎 |
| |
| 作者单位： | 中山大学哲学系中山大学逻辑与认知研究所; |
| |
| 基金项目： | 全国优秀博士学位论文作者专项资金资助项目2007B01; 中央高校基本科研业务费专项资金资助 |
| |
| 摘 要： | 在可能世界语义中,如果根据是否含有模态算子而将一个点上为真的公式分为两类,那么可以认为不含模态算子的公式描述的是当前点的信息,其它公式描述的是其它点的信息,以及当前点与其它点的关系。通过对不同点上命题真值指派的比较,我们可以在可能世界语义模型上定义出一种状态相似性。本文构造了三类刻画状态相似性的模型,并给出了分别刻画其中两类模型的完全的系统。本文最后讨论这些模型在时态逻辑和信念逻辑中的应用。
|
| 关 键 词： | 状态相似 赋值 模型 |
Similarity of States and Models of Restricted Flux |
| |
| Fei Zha Institute of Logic , Cognition,Sun Yat-sen University Hu Liu Institute of Logic , Cognition,Sun Yat-sen University.Similarity of States and Models of Restricted Flux[J].Studies in Logic,2011(2):1-19. |
| |
| Authors: | Fei Zha Institute of Logic Cognition Sun Yat-sen University Hu Liu Institute of Logic Cognition Sun Yat-sen University |
| |
| Institution: | Fei Zha Institute of Logic and Cognition,Sun Yat-sen University Hu Liu Institute of Logic and Cognition,Sun Yat-sen University |
| |
| Abstract: | In virtue of possible world semantics,logicians have developed many formalisms which are used to describe or analyze the rules of important phenomenon in many research areas,such as philosophy,linguistic,cognitive science,computer science and so on.The basic structures of those formalisms are a series of transitions among states. Structural similarity is an important issue.In these semantics,a state(or node,possible world)which represents certain situation is described by propositions that are true at the s... |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
