On the Decidability of Intuitionistic Tense Logic without Disjunction
点击次数：
所属单位：哲学与社会发展学院
第一作者：梁飞
论文编号：977A3507D0B7495BA6352767F0736508
字数：10
是否译文：否
发表时间：2021-01-05
发表时间：2021-01-05
副教授
性别：男
出生日期：1988-06-10
毕业院校：Delft University of Technology, 中山大学
学历：研究生(博士)毕业
学位：哲学博士学位
在职信息：在职
所在单位：哲学与社会发展学院
入职时间：2018-11-06
职务：科研教师
On the Decidability of Intuitionistic Tense Logic without Disjunction
点击次数：
所属单位：哲学与社会发展学院
第一作者：梁飞
论文编号：977A3507D0B7495BA6352767F0736508
字数：10
是否译文：否
发表时间：2021-01-05
发表时间：2021-01-05