本文定义了一个新的ｃｏｎｔｅｘｔ逻辑－ＱＬＣ（ｑｕａｎｔｉｆｉｃａｔｉｏｎａｌ ｌｏｇｉｃ ｏｆ ｃｏｎｔｅｘｔ），它能反映ｃｏｎｔｅｘｔ的更多的逻辑性质。文中还讨论了含等词的ＱＬＣ以及当领域公理相关不同ｃｏｎｔｅｘｔ序列时的推理，并引入了ＭｃＣａｒｔｈｙ的限......

本文为Ｂｕｖａｃ的ｃｏｎｔｅｘｔ逻辑定义了一个二阶扩充ＳＯＱＬＣ，它能为许多常识现象提供更简单自然的描述。......

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