@第{zbMATH04108726条，作者={Browne，M.C.和Clarke，E.M.以及Gr{“u}mberg，O.}，Title={表征命题时态逻辑中的有限{Kripke}结构}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={59}，数字={1-2}，页码={115--131}，年份={1988年}，语言={英语}，DOI={10.1016/0304-3975（88）90098-9}，关键词={03B45,03B70,68Q65,03C90}，zbMATH={4108726}，Zbl={0677.03011}}