一个用于异构的数据库集成的多context逻辑

Internet的发展要求能同时使用来自不同知识源的信息．本文定义了一个两层的多con－text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论，对应于一个数据库；第2层的context是个特殊的多类逻辑理论，可以声明第1层中各context间的各种联系，DBCL为异构的数据库的集成提供了一个形式化描述．本文还为DBCL定义了一类可靠且完备的语义解释．

一个带量词的context逻辑及其限制推理

本文定义了一个新的context逻辑——QLC（quantificationallogicofcontext），它能反映context的更多的逻辑性质．文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理。

一个二阶的context逻辑

本文为Buvac的context逻辑定义了一个二阶扩充SOQLC，它能为许多常识现象提供更简单自然的描述．作为本文的重要结论，我们证明了SOQLC对一类推广的一般语义结构来说是可靠且完备的．SOQLC还可以作为数据库集成、多理论系统、OO系统等的逻辑基础．

Context的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ，本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中，给出有关的定义和定理。