On the Finite Model Property of Weak Intuitionistic Tense Logic
发布时间：2021-11-11 点击数：
所属单位：哲学与社会发展学院
论文名称：On the Finite Model Property of Weak Intuitionistic Tense Logic
发表刊物：Logic，Rationality and Interaction
第一作者：梁飞
论文编号：14B40E3F01284FC6B3F06ED3295C1B5C
字数：5
是否译文：否
发表时间：2021-10