@第{zbMATH07370812条，作者={Nicolai，Carlo and Stern，Johannes}，标题={的模态逻辑{克里普克}-{费费曼}真相}，FJournal={符号逻辑杂志}，日志={J.Symb.Log.}，ISSN={0022-4812}，体积={86}，数字={1}，页码={362--396}，年份={2021}，语言={英语}，DOI＝{10.1017/jsl.2020.66}，关键词={03B45.03B50}，zbMATH={7370812}，Zbl={1491.03015}}