机译:非传递线性时间逻辑和逻辑知识运算
Manchester Metropolitan Univ, Sch Comp Math & DT, John Dalton Bldg,Chester St, Manchester M1 5GD, Lancs, England;
Linear temporal logic; non-transitive time; knowledge; logical knowledge operations; deciding algorithms;
机译:可判定性w.r.t.从上一个和下一个扩展的线性时间逻辑的逻辑连续性
机译:有限区间的不及物动时间线性逻辑中的逻辑连续
机译:离散线性时间逻辑中的逻辑连续
机译:线性时间逻辑规范的混合逻辑动力系统的优化控制
机译:语言,逻辑,知识和现实:罗素和维特根斯坦的逻辑原子论。
机译:线性时序逻辑的后门
机译:非传递线性时间逻辑和逻辑知识操作