米哈伊尔·里巴科夫;德米特里·什卡托夫 具有非及物模态逻辑的产品有限变量片段的复杂性。 (英语) Zbl 07589718号 J.日志。计算。 32,第5号,853-870(2022). 摘要:我们证明了命题模态逻辑的乘积,其中至少有一个因子是单峰逻辑(mathbf{K})、(mathbf{KT})和(mathbf2_KB})中的一个,它们的乘积是多项式时间嵌入到它们的单变量片段中。因此,我们得到了关于属于此类乘积所限定区间的逻辑的单变量片段的计算复杂性的结果。我们将可嵌入性结果推广到扩展相对化产品和具有多模态逻辑的产品。 引用于2文件 MSC公司: 03年XX月 数学逻辑和基础 68倍 计算机科学 关键词:模态逻辑的乘积;扩大相对化产品;有限变量碎片;计算复杂性;可满足性问题;有效性问题 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov},J.Log。计算。32,编号5,853--870(2022;Zbl 07589718) 全文: DOI程序