机译:用于模态逻辑和μ演算的公式大小游戏
Tampere Univ Dept Comp Sci FI-33014 Tampere Finland;
Succinctness; formula size game; modal logic; modal mu-calculus; bisimulation invariant first-order logic;
机译:模态Heyting演算:直觉逻辑的保守模态扩展
机译:有限数据树上模态逻辑的后续演算
机译:模态逻辑S4的无环演算。 II
机译:使用正构造的公式的第一阶逻辑微积分的机器人的行动规划
机译:将模态微积分添加到指令集过程微积分。
机译:关于... ...-Bernstein多项式及其在...中的应用
机译:配方尺寸游戏,用于模态逻辑和μ-微积分