循环的论文

描述逻辑及其模态扩充的模型
论文摘要本文主要讨论描述逻辑及其模态扩充的模型,分两方面进行:其一是考虑循环ALCN的Tbox具有模型的条件,指出了文献[1]中命题2.9的错误,并对命题2.9进行了一些修改;...