...
机译:知识和线性时间LTK的多模式逻辑的公理化
Department of Computing and Mathematics Manchester Metropolitan University John Dalton Building Chester Street Manchester M1 5GD UK. E-mail: E.Calardo{at}mmu.ac.uk Department of Computing and Mathematics Manchester Metropolitan University John Dalton Building Chester Street Manchester M1 5GD UK. E-mail: V.Rybakov{at}mmu.ac.uk;
机译:具有不传递时间关系的知识和时间LTK(r)的线性逻辑中的容许推理规则
机译:具时间线性关系的知识与时间LTK_r线性逻辑的公理化
机译:具有组知识的一阶线性时间认知逻辑:单项片段的公理化
机译:具有组知识的一阶线性时间认知逻辑:单项片段的公理化
机译:有界线性演算:基于有界线性逻辑的多项式时间可计算函数的表征
机译:评估公共卫生报告逻辑的知识资源:对知识创作和管理的影响
机译:知识和线性时间LTK的多模式逻辑中的统一和推理规则
机译:线性时态逻辑规范的运行时分析