@第{zbMATH07547827条，作者={Rybakov，Mikhail and Shkatov，Dmitry}，标题={命题时间逻辑和计算模态逻辑的有限变量片段的复杂性}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={925}，页码={45--60}，年份={2022}，语言={英语}，DOI={10.1016/j.tcs.2022.04.056}，关键词={03B70,03B44,03B45,68Q25}，zbMATH={7547827}}