分次模态传递框架类

摘要：

本文证明分次模态逻辑在有穷传递框架类中的Goldblatt-Thomason定理.一个有穷传递框架类可由分次模态公式集定义当且仅当它在不相交并、生成子框架和分次有界态射像下封闭.该定理的证明使用带根的有穷传递框架的分次Jankov-Fine公式.

机标关键词：次模态、传递、框架类、证明、模态逻辑、公式、定理、不相交并、生成子、态射、封闭、定义

所属期刊栏目：3

分类号：TP3;TD9

在线出版日期：2010-11-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：19-25