Frontiers of Combining Systems
Frontiers of Combining Systems
复制标题
组合系统的前沿
DOI：
10.1007/978-3-642-40885-4_20
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Papacchini F
中科院分区：
文献类型：
--
作者：
Papacchini F
在本文中，我们提出了一种新的极小性标准的模型的模态逻辑的基础上的变化的概念的模拟，称为子集模拟。我们提出了一个最小模型的声音和完整的表演算的生成这种新的最小模型的多模态logicK（m），我们讨论的扩展，以涵盖更多的表达逻辑。最小模型的生成是通过使用最小性测试来逐步执行的，以关闭表示非最小模型的分支，或更新最小模型的集合。子集模拟最小模型的优点是，它们是语义上更自然的模型，通过使用语法最小标准。
In this paper we propose a novel minimality criterion for models of modal logics based on a variation of the notion of simulation, called subset-simulation. We present a minimal model sound and complete tableau calculus for the generation of this new kind of minimal models for the multi-modal logicK(m), and we discuss extensions to cover more expressive logics. The generation of minimal models is performed incrementally by using a minimality test to close branches representing non-minimal models, or to update the set of minimal models. Subset-simulation minimal models have the advantage that they are semantically more natural than models obtained by using syntactic minimality criteria.