覆盖语义相关论文
针对ＥＲＬ描述的语义种类不齐全的问题，在ＥＲＬ已能处理的语义约束之处，又给出了聚集语义、覆盖语义的描述和可满足性的判定方法。......
基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理......
