动态逻辑:关于程序的模态逻辑

【相似文献】

相关期刊论文 前10条

1 姚从军;;双模拟与模态逻辑[J];重庆理工大学学报(社会科学);2011年08期

2 郭美云;;从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介[J];逻辑学研究;2011年02期

3 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前4条

1 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

2 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

3 潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年

4 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年

相关重要报纸文章 前1条

1 陈慕泽;多主体系统中的互知[N];光明日报;2000年

相关博士学位论文 前4条

1 史t，

本文编号：2195800