机译:关于模微积分和Gödel-Löb逻辑
Fixpoint; Modal μ; Calculus; Gödel; Löb Logic;
机译:模态Heyting演算:直觉逻辑的保守模态扩展
机译:用于模态逻辑和μ演算的公式大小游戏
机译:有限数据树上模态逻辑的后续演算
机译:不诚实的多模态逻辑的Tableau微积分
机译:将模态微积分添加到指令集过程微积分。
机译:猫白血病病毒和猫免疫缺陷病毒阴性猫的牙龈炎与牙结石厚度或牙结石覆盖率和牙龈下细菌的关系
机译:关于模态微积分和哥德尔勒布逻辑