多进 µ 微积分中的实数层次结构 电子书下载

原名:The Arity Hierarchy in the Polyadic µ-Calculus
作品简介:多进 µ 演算是一种模态不动点逻辑，其公式定义节点关系而不是访问 – 以便可以在两个方向上遍历行程。游戏可以用来推理某个公式的满足程度……