模态逻辑中转换结构的局限性

针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.

互模拟的一些基本性质

由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。因此,本文首先简单介绍互模拟产生的原因及作用;其次,给出两个加标转换系统之间的互模拟定义,并说明由此定义如何得到计算机科学中、模态逻辑中以及集合论中互模拟的定义;最后证明在这种定义下,互模拟的一些基本性质。

双模拟及其一些基本性质

模拟和互模拟是分别比同态和同构弱的一对概念,论文给出一个比模拟强但又比互模拟弱的概念——双模拟,并考察与此相关的一些问题:在模拟的基础上,定义"双模拟"的概念,并说明如何从双模拟得到互模拟;证明双模拟的一些基本性质;讨论模拟、互模拟与双模拟之间的关系。

Coordinate-Dependent Two-Mode Squeezing Transformations and the Corresponding Squeezed States

We introduce the coordinate-dependent two-mode squeezing transformations and discuss the properties of the corresponding two-mode squeezed states.