同构、P-态射、互模拟与模态等价性

姚从军

西南大学学报（社会科学版）

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
	姓名不能为空！
邮箱
	邮箱不能为空！非法的邮箱地址。
手机号码
	电话不能为空！请输入有效手机号!
标题
	标题不能为空！
留言内容
	内容不能为空！
验证码
	验证码不能为空！验证码错误！

同构、P-态射、互模拟与模态等价性

姚从军. 同构、P-态射、互模拟与模态等价性[J]. 西南大学学报（社会科学版）, 2010, 36(2).

引用本文:

姚从军. 同构、P-态射、互模拟与模态等价性[J]. 西南大学学报（社会科学版）, 2010, 36(2).

Isomorphism, Pseudo-epimorphism, Bisimulation and Modal Equivalence[J]. Journal of Southwest University Social Science Edition, 2010, 36(2).

Citation:

Isomorphism, Pseudo-epimorphism, Bisimulation and Modal Equivalence[J]. Journal of Southwest University Social Science Edition, 2010, 36(2).

同构、P-态射、互模拟与模态等价性

姚从军

南开大学,哲学系,天津市,300071

Isomorphism, Pseudo-epimorphism, Bisimulation and Modal Equivalence

摘要: 结构的模态等价性是指这些结构上有效性的模态公式恰好相同.本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系.同时,对框架等价性也给予了一定的研究,得出结论是:同构的框架一定是模态等价的,但具有另外两种关系的框架不一定是模态等价的.
- 同构，P-态射，互模拟，模态等价，结构，框架

计量

文章访问数: 272
HTML全文浏览数: 158
PDF下载数: 0
施引文献: 0

同构、P-态射、互模拟与模态等价性

姚从军

南开大学,哲学系,天津市,300071

关键词:

同构，P-态射，互模拟，模态等价，结构，框架

摘要: 结构的模态等价性是指这些结构上有效性的模态公式恰好相同.本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系.同时,对框架等价性也给予了一定的研究,得出结论是:同构的框架一定是模态等价的,但具有另外两种关系的框架不一定是模态等价的.