Modal Logic over Finite Structures
Modal Logic over Finite Structures
复制标题
有限结构上的模态逻辑
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
Eric Rosen
中科院分区：
文献类型：
--
作者：
Eric Rosen
研究了一类有限结构上的命题模态逻辑的性质。特别地，我们证明了某些已知保存定理在这类上仍然成立。证明了一类有限模型是由一阶句子定义的，并且是在双模拟下封闭的，当且仅当它是由模态公式定义的。我们还证明了一类由模态公式定义的有限模型当且仅当由♦模态公式定义时在扩展下是封闭的。
We investigate properties of propositional modal logic over the classof finite structures. In particular, we show that certain knownpreservation theorems remain true over this class. We prove that aclass of finite models is defined by a first-order sentence and closedunder bisimulations if and only if it is definable by a modal formula.We also prove that a class of finite models defined by a modal formulais closed under extensions if and only if it is defined by a ♦-modal formula.