机译:投影有限时间逻辑的决策程序和完全公理化
Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF;
tableau; temporal; decision procedure; interval; chop; projection; normal form; complete axiomatization;
机译:投影时间逻辑的决策程序和完整的公理化
机译:具有投影的一阶区间时间逻辑的完整证明系统
机译:命题投影时间逻辑有效决策程序
机译:具有无限时间的区间时态逻辑的完全公理化
机译:固定间隔和可变间隔过程的时间记忆。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:PITL2MONA:为命题间隔时间逻辑实现决策程序
机译:完全无知下有限决策问题的决策程序