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

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