...
机译:命题区间邻域逻辑:可表达性,可判定性和不可判定的扩展
Neighborhood interval logics; Expressiveness; Two-variable fragment; Decidability; Undecidability;
机译:命题区间邻域逻辑:可表达性,可判定性和不可判定的扩展
机译:具有间隔长度绑定器的混合度量命题邻域逻辑
机译:命题区间邻域时间逻辑
机译:公制命题邻域逻辑:表现力,可拆卸性和不可思议的性
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:命题区间邻域逻辑:表达性,可判定性和不可判定的扩展
机译:过程逻辑的可判定性和表达性