厦门大学平台管理系统陈谦--中文主页-- Hilbert-Style Calculus and Tableau Calculus for Logics of Link Variations

陈谦

访问量：

开通时间：..

最后更新时间：..

当前位置：中文主页 >> 科学研究 >> 论文成果

Hilbert-Style Calculus and Tableau Calculus for Logics of Link Variations

点击次数：

DOI码：10.1007/s10849-026-09475-x

发表刊物：Journal of Logic, Language and Information

第一作者：Penghao Du

通讯作者：Qian Chen

合写作者：Penghao Du

卷号：35

期号：1-2

页面范围：109-134

是否译文：否

发表时间：2026-07-31

下一条：On the Logic of the Hide and Seek Game