@第{zbMATH06083960条，作者={Fern{\'a}ndez-Duque，David}，Title={动态拓扑逻辑的完善公理化}，FJournal={符号逻辑杂志}，Journal＝{J.Symb.Log.}，ISSN={0022-4812}，体积={77}，数字={3}，页码={947--969}，年份={2012}，语言={英语}，DOI={10.2178/jsl/1344862169}，关键词={03B45}，zbMATH＝{6083960}，Zbl={1256.03025}}