Discrete and Topological Correspondence Theory for Modal Meet-Implication Logic and Modal Meet-Semilattice Logic in Filter Semantics
发布时间：2025-10-01 点击数：
所属单位：哲学与社会发展学院
论文名称：Discrete and Topological Correspondence Theory for Modal Meet-Implication Logic and Modal Meet-Semilattice Logic in Filter Semantics
发表刊物：逻辑学研究
第一作者：梁飞
论文编号：17FA933507F240DB87C2FD0959881860
期号：3
字数：10
是否译文：否
发表时间：2025-06