一阶模态逻辑■□-打包片段的Lindström定理  

Lindström Theorems for ■□-Bundled Fragment of Firstorder Modal Logic

作　　者：王勋 Xun Wang(School of Philosophy and Religious Studies,Minzu University of China)

机构地区：[1]中央民族大学哲学与宗教学学院

出　　处：《逻辑学研究》2024年第3期1-23,共23页Studies in Logic

基　　金：supported by“the Fundamental Research Funds for the Central Universities”(No.2023QNTS72)。

摘　　要：通过推广de Rijke(1995)和van Benthem(2007)关于命题模态逻辑的Lindström定理结论,本文给出了一阶模态逻辑■□-打包片段的三种不同的Lindström定理表述。三种表述均基于■□-打包片段的互模拟不变性,此外,它们还分别利用了该片段的紧致性、有穷深度性以及自然数集上的超积不变性。In this paper,we provide three different Lindström theorems for■□-bundled frag-ment of first-order modal logic,by generalizing de Rijke's(1995)and van Benthem's(2007)results for propositional modal logic.All three results are based on the property of bisimulation invariance,and each of them employs another property:compactness,finite depth property,and preservation under ultraproducts over the natural numbers,respectively.

关 键 词：自然数集 紧致性 互模拟 打包 不变性 深度性 

分 类 号：B815.1[哲学宗教—逻辑学]