学术资讯｜陈锦盛助理教授发表文章：Inductive Sequents for Distributive Modal Logic

Journal of Philosophical Logic（《哲学逻辑杂志》）

基本信息

Inductive sequents for distributive modal logic发表于期刊Journal of Philosophical Logic,该期刊创刊于1972年，由Springer Nature出版，是SCI、A&HCI收录期刊，JCR一区。

简要介绍：模态对应理论的核心问题之一是什么样的模态逻辑公式和一阶逻辑公式定义相同的框架类。教材中主要介绍萨奎斯特公式，该公式类能行地具有一阶对应以及具有典范性。新近文献表明，存在萨奎斯特公式的超集，称为归纳公式。本文在分配格模态逻辑的背景下研究归纳公式，提出了归纳公式的一个简化定义。由于分配格模态逻辑是正规模态逻辑的推广，该简化同样适用于正规模态逻辑。

文章链接：https://link.springer.com/article/10.1007/s10992-025-09820-8

作者简介

陈锦盛，中山大学哲学系（珠海）助理教授，硕士生导师。获中山大学逻辑学博士学位（2020）和荷兰阿姆斯特丹自由大学哲学博士学位（2022），曾在浙江大学哲学学院从事博士后工作（2021-2023）。主要研究领域为模态逻辑、形式论证理论。

文章首页

来源｜Journal of Philosophical Logic

文稿｜陈锦盛

编辑｜殷琴竹

初审｜韩　珩

审核｜卢　毅

审核发布｜屈琼斐