可判定性相关论文
近年来，无限状态系统的验证成为了一个十分热门的研究领域。其中研究的重要问题不仅仅有对系统间等价的判定，还包括对系统和特定有限......
随着计算机技术和网络技术的发展，移动计算与实时计算已经成为计算机科学领域的两个研究热点，受到越来越多的关注。不同领域的学者对......
下一代语义网使用本体来表示知识，引入规则来增强知识表达力和自动推理能力。OWL-DL与SWRL分别是语义网中应用最广泛的本体语言和规......
本文涉及的研究领域是无穷状态系统的验证。无穷状态系统上的验证问题主要包括两个方面:一个方面是等价验证,另一个方面是模型检测......
量词消去法是数理逻辑与计算机科学中的一个很有用的工具,一阶理论只要有了量词可消去的性质,那么对于这个理论中公式的讨论范围就......
作为调整规范社会行为的法律,首先,要求立法者思维遵循科学的法律逻辑思维,所立的法律前后意思一致,适用法律规则时没有矛盾.其次,......
对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO),给出了基于带赋值的符号迁移图的语义解释.证明了HML(FO)的子逻辑HML(F......
