Lindstr?m Theorems for(?)(□)-Bundled Fragment of First-order Modal Logic
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.
王勋
展开 >
中央民族大学哲学与宗教学学院
Fundamental Research Funds for the Central Universities
万方数据
