罗伯特·戈德布拉特 一些遗传不可解空间的模态逻辑。 （英语） Zbl 07469214号 Düntsch，Ivo（ed.）等人，阿拉斯代尔·厄克哈特（Alasdair Urquhart），关于非经典和代数逻辑以及证明复杂性。查姆：斯普林格。Outst公司。控制日志。22, 303-322 (2022).MSC公司：03B45号 第54页，共99页 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt}，奥斯特。控制日志。22303--322（2022；Zbl 07469214） 全文： 内政部 arXiv公司
于，梁 递归理论在分析中的应用。 （英语） Zbl 1477.03173号 牛市。符号。日志。 26，第1期，15-25（2020年）.MSC公司：03D78号 03日30分 03天32分 03天80 03E15年 28A05号 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{L.Yu}，公牛。符号。日志。26，编号1，15--25（2020；Zbl 1477.03173） 全文： 内政部
Joan Bagaria 序数和平稳反射上的导出拓扑。 （英语） Zbl 1472.03048号 事务处理。美国数学。Soc公司。 371，第3期，1981-2002（2019）.MSC公司：03E10年 03B45号 03E35号 03E55型 03层45 54国集团12 03E45型 03E05号 54A35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bagaria}，翻译。美国数学。Soc.371，No.3，1981-2002（2019；Zbl 1472.03048） 全文： 内政部
列夫·贝克莱米舍夫;大卫·加伯里亚 可证明逻辑的拓扑解释。 （英语） Zbl 1352.03070号 Bezhanishvili，Guram（编辑），Leo Esakia关于模态逻辑和直觉逻辑中的对偶性。多德雷赫特：施普林格（ISBN 978-94-017-8859-5/hbk；978-94-017-8860-1/电子书）。《逻辑4的杰出贡献》，257-290（2014）。MSC公司：03层45 03B45号 05年5月54日 54国集团12 PDF格式BibTeX公司 XML格式引用 \textit{L.Beklemishev}和\textit{D.Gabelaia}，Outst。控制日志。4257-290（2014年；兹比尔1352.03070） 全文： 内政部 arXiv公司
蒂莫西·麦克尼科尔。 回溯的力量和长度的限制。 （英语） Zbl 1294.03042号 程序。美国数学。Soc公司。 141，第3期，1041-1053（2013）.MSC公司：03层60 03天32分 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{T.H.McNicholl}，编辑。美国数学。Soc.141，No.3，1041--1053（2013；Zbl 1294.03042） 全文： 内政部 arXiv公司
利奥·伊萨基亚 直觉主义逻辑和形态通过拓扑。 （英语） Zbl 1049.03018号 Ann.纯粹应用。逻辑 127，编号1-3，155-170（2004）.MSC公司：03B45号 06E25年 03层45 2015年2月6日 54国集团12 PDF格式BibTeX公司 XML格式引用 \textit{L.Esakia}，Ann.纯苹果。逻辑127，No.1--3，155--170（2004；Zbl 1049.03018） 全文： 内政部