机译:命题可证明逻辑中公式系统超弱完整性的检测算法
机译:基于t模的有理真常数的命题模糊逻辑的计算复杂度
机译:命题默认逻辑变得更容易:模型检查的计算复杂性
机译:带有公理□_Φ↔◇_Φ的命题模态逻辑与命题逻辑之间的对应关系
机译:单子直觉和模态逻辑承认可证明性
机译:研究主题:从结构生物学到分子系统生物学:揭示癌症和神经变性中激酶活性调节机制的实验和计算方法:细胞间通信电路:合成逻辑门的定量分析
机译:模态命题逻辑的模态Horn子句可满足性的计算复杂性
机译:显式可证性:直觉和模态逻辑的预期语义