@第{zbMATH06451165条，作者={潘、海宇和张、敏和吴、衡阳和陈一祥}，Title={格值{Kripke}结构}的定量分析，FJournal={Fundamental Informaticae}，日志={Fundam.Inform.}，ISSN={0169-2968}，体积={135}，数字={3}，页码＝{269-293}，年份={2014}，语言={英语}，DOI={10.3233/FI-2014-1122}，关键词={03B50,03B52,03B44,03G25,06D20,68Q85}，zbMATH={6451165}，Zbl={1354.03028}}