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