超模态逻辑K[T_nK]和K[TK_n](英文)

本文的工作是在D.M.Gabbay的一篇论文《超模态逻辑理论:在模态逻辑中的模转换》基础上所做的,主要是将他的两类满足关系扩充到n+1种满足关系,然后在此基础上得到两类一般性的逻辑类K[T_nK]和K[TK_n],其中n≥1。我们得到了一些更为一般性的结论:（1）逻辑类K[T_nK]的定理模式是:对任意n≥1,□^j+（n+1）kp→□^i+（n+1）kp,其中0≤in]的定理模式是:□^1+（n+1）kp→□^（n+1）kp,其中b≥1。不过,□^j+（n+1）kp→□^i+（n+1）kp,其中0≤in]的定理模式,因此,（3）每一个逻辑K[T_nK]都是相应的逻辑K[TK_n]的真扩张,其中n≥1;（4）必然化规则在两类逻辑K[T_nK]和K[TK_n]中都不成立,但是,这样的规则成立,即如果A分别是两类逻辑K[T_nK]和K[TK_n]的定理,那么对于任意n≥1,□ⁿ⁺¹A也分别是逻辑类K[T_nK]和K[TK_n]的定理;（5）等值替换规则在逻辑类K[T_nK]和K[TK_n]下都不封闭;此外,（6）我们将D.M.Gabbay的从超模态逻辑到正规模态逻辑K的两类翻译τ₀和τ₁扩充到n+1类翻译τ₀,τ₁,…,τ_n。在超模态逻辑K[T_nK]和K[TK_n]与正规模态逻辑K之间,我们找到了点模型满足对应理论,即对任意的超模态逻辑公式α,在某个世界ω上为真,当且仅当,在正规模态逻辑K中τ_i（α）在世界ω上也为真。其中τ_i（α）是公式α从超模态逻辑到正规模态逻辑K的翻译。