陈谦
开通时间:..
最后更新时间:..
点击次数:
DOI码:10.1007/s11225-024-10145-x
发表刊物:Studia Logica
第一作者:Qian Chen
通讯作者:Minghui Ma
合写作者:Minghui Ma
卷号:113
期号:6
页面范围:1543-1566
是否译文:否
发表时间:2024-07-29
上一条:Pretabular Tense Logics over S4_t
下一条:Tabularity and Post-completeness in Tense Logic