可计算性(computability),即算法有解性,是数学和计算机科学领域中最重要的概念之一。可计算性逻辑(Computability Logic,简写为Co......

本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑......

可计算性（Computability）即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑（Computability Logic,CoL）是关于可计......

可计算性逻辑是新近提出的关于可计算性的形式理论.它采取交互的博弈语义,是一种资源逻辑.经典逻辑、直觉逻辑和线性逻辑(在广义上......

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以......

文章在扩展博弈上，给出了多值逻辑的语义赋值博弈的一般框架，避免了博弈者在多值逻辑的语义博弈中声明无穷对象的问题；然后通过Eloise......

可计算性逻辑(Computability Logic,简称CoL)在交互计算算法理论、运算集合和基于Cirquent的推理系统等方面得到持续研究。在可计......