一个向上线序的命题时态逻辑PTL
发布时间：2021-05-14 点击次数：
吕进（教授）
+
- 曾获荣誉：
2021-01-05曾获荣誉当选：重庆市第十届社科优秀成果奖三等奖；
2010-11-20曾获荣誉当选：第五届金岳霖学术奖三等奖 - 博士生导师 硕士生导师
- 教师英文名称：Jin Lyn
- 学历：研究生(博士后)
- 联系方式：lvjin@cqu.edu.cn
- 学位：法学博士学位
- 毕业院校：中国社会科学院
- 所属院系：法学院
访问量：
开通时间：..
最后更新时间：..
- 所属单位：马克思主义学院
- 发表刊物：西南大学学报(社会科学版)
- 关键字：时态逻辑、向上线序、离散性、完全性
- 第一作者：吕进
- 论文类型：期刊论文
- 论文编号：87807
- 卷号：36
- 期号：2
- 页面范围：70-74
- ISSN号：1673-9841
- 是否译文：否
- 发表时间：2010-01-01