期刊文献

Bisimulations and bisimulation quotients of generalized Veltman models 收藏

广义Veltman模型的互模拟和互模拟商

原文求助发布源

作者

Domagoj Vrgoč; Mladen Vuković

发布日期

26 November 2009

页码

870–880

DOI

10.1093/jigpal/jzp067

来源信息

Logic Journal of the IGPL ISSN：1367-0751, 2010年, 18卷, 6期, 870–880页

摘要

We consider interpretability logic, a modal description of the interpretability predicate, and try to determine the most suitable notion of bisimulation for generalized Veltman semantics. In the first part of this paper we consider several notions of bisimulation and determine connections between them. In the second part we develop some further model theoretic properties for generalized Veltman semantics and consider difficulties that arise when studying quotient structures.

摘要译文

我们考虑可解释逻辑，对可解释谓词的模态描述，并试图确定最适合广义Veltman语义的互模拟概念。在本文的第一部分中，我们考虑了一些互模拟的概念并确定了它们之间的联系。在第二部分中，我们为广义Veltman语义开发了一些进一步的模型理论性质，并考虑了研究商结构时出现的困难。

Domagoj Vrgoč; Mladen Vuković. Bisimulations and bisimulation quotients of generalized Veltman models[J]. Logic Journal of the IGPL, 2010,18(6): 870–880