中介时序逻辑相关论文
本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.......
本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性。......
本文基于中介逻辑建立了一种中介时序逻辑系统MTL(Medium Temporal Logic),文中着重讨论了MTL的形式系统并给出了它的语义解释,证明了MTL系统的可靠性。最后对MTL系统......
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用。基于中......