王译恒 | FMP in classical and intuitionistic non-normal monotonic modal logic with transitivity

我所23级博士研究生王译恒、彭玉，厦门大学林哲副教授与我所余喆副教授合作的论文FMP in classical and intuitionistic non-normal monotonic modal logic with transitivity发表于国际期刊Synthese第208卷。Synthese（综合）是一本由施普林格出版社出版的哲学类国际期刊，主要聚焦于认识论、科学哲学、逻辑学与形式化哲学研究等领域。该期刊收录于AHCI、SSCI与SCIE，长期位列JCR排名Q1。

作者：王译恒、林哲、彭玉、余喆
原文链接https://doi.org/10.1007/s11229-026-05790-9

论文摘要

This paper studies a family of classical and intuitionistic non-normal monotonic modal logics and their extensions, with particular attention to those extended with transitivity. We establish the (algebraic) finite model property and thus decidability for these logics by a unified and modular proof method. Our proof employs an algebraic proof-theoretic approach, distinct from the common neighbourhood filtration technique.
 

成果介绍

单调模态逻辑研究是非正规模态逻辑研究的重要领域。该论文研究了一系列在非模态部分基于经典逻辑或直觉主义逻辑的非正规单调模态逻辑，特别关注了那些带有传递性公理的扩张。该论文使用一种统一的和模块化的代数证明论方法得到了这些逻辑的有穷（代数）模型性质以及可判定性，解决了经典非正规模态逻辑领域中一个关于有穷模型性的开放问题。