...
机译:模态逻辑的下界
proof complexity; modal logic; lower bound; monotone interpolation;
机译:圆柱模态逻辑和箭头逻辑的下界计算
机译:用于等级1模态逻辑的PSPACE边界
机译:具有世界范围量化的模态逻辑
机译:改进了程序模态逻辑的上下限
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:阴离子结合的有机受体的光谱和DFT研究:时间依赖性研究和逻辑门应用
机译:改进程序模态逻辑的上限和下限:
机译:归纳逻辑程序设计复杂度的一些下界