弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 度量和拓扑的逻辑。 (英语) Zbl 1089.03021号 J.塞姆。日志。 70,第3期,795-828(2005).MSC公司:03B60号 03B44号 54E35个 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},J.Symb。日志。70,第3号,795--828(2005;Zbl 1089.03021) 全文: 内政部 链接
菲利普·克莱默;格里戈里薄荷 动态拓扑逻辑。 (英语) Zbl 1067.03028号 Ann.纯粹应用。逻辑 131,编号1-3,133-158(2005). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B45号 03B44号 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{P.Kremer}和\textit{G.Mints},Ann.Pure Appl。逻辑131,No.1--3,133--158(2005;Zbl 1067.03028) 全文: 内政部