@第{zbMATH07226382条，作者={Onoprienko，Anastasiya A.}，标题={问题和命题逻辑的克里普克语义}，FJournal={Sbornik:数学}，日记={Sb.Math.}，ISSN={1064-5616}，体积={211}，数字={5}，页码={709--732}，年份={2020年}，语言={英语}，DOI={10.1070/SM9275}，关键词={03B20,03B45}，zbMATH={7226382}，Zbl={1476.03003}}