机译:圆柱模态逻辑和箭头逻辑的下界计算
Language and Inference Technology ILLC Universiteit van Amsterdam;
modal logic; arrow logic; cylindric algebras; relation algebra; first order logic; guarded fragment; decidability; complexity; finite model property;
机译:模态逻辑的下界
机译:圆柱形代数品种的原子码分,用于省略多模态逻辑的类型
机译:用于等级1模态逻辑的PSPACE边界
机译:改进了程序模态逻辑的上下限
机译:有界线性演算:基于有界线性逻辑的多项式时间可计算函数的表征
机译:推进DNA计算材料的力量:创新DNA逻辑计算系统和智能生物应用的最新进展
机译:箭头逻辑和多模式逻辑,由Maarten Marx,LászlóPólos和Michael Masuch编辑。 CSLI出版物/ FoLLI,加利福尼亚州斯坦福。 (1996)。 247页。 59.95美元(精装本),22.95美元(平装本)
机译:箭的模态理论:箭头逻辑1