陈谦
开通时间:..
最后更新时间:..
点击次数:
DOI码:10.1007/s10849-026-09474-y
发表刊物:Journal of Logic, Language and Information
第一作者:Qian Chen
通讯作者:Dazhu Li
合写作者:Dazhu Li
卷号:35
期号:1-2
页面范围:135-159
是否译文:否
发表时间:2026-07-31
上一条:Hilbert-Style Calculus and Tableau Calculus for Logics of Link Variations
下一条:Pretabular Tense Logics over S4_t