机译:线性时态逻辑的带标签自然演绎系统
Department of Logic University of Lódź;
Temporal Logic; Natural Deduction; Linear Time;
机译:捆绑分支时间逻辑的标记自然演绎
机译:用于直觉和经典模态逻辑的无标签自然演绎系统
机译:Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
机译:命题线性时间临时逻辑自动自然扣除
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:用于一系列时态逻辑的标记自然演绎系统