米哈伊尔·里巴科夫;德米特里·什卡托夫 产品有限变量片段的复杂性K(K). (英语) Zbl 07332113号 J.日志。计算。 第2期第31期,426-443页(2021年). 摘要:我们证明了命题模态逻辑的乘积和扩张相对化乘积,其中一个分量是最小单模态逻辑K(K)多项式时间可简化为其单变量片段。因此,将此类逻辑的已知下限复杂性和不可判定性结果扩展到其单变量片段。对于一个组件是具有K(K)-风格形态;这些包括带有命题动态逻辑的产品。 引用于4文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 2015年3月1日 计算复杂性(包括隐式计算复杂性) 关键词:模态逻辑;扩大相对化产品;有限变量碎片;计算复杂性;可满足性问题;有效性问题 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov},J.Log。计算。31,编号2,426--443(2021;Zbl 07332113) 全文: DOI程序