贝扎尼什维利,古拉姆;卢卡·卡莱;帕特里克·J·莫兰迪。 连续函数环上的模态算子。 (英语) 兹比尔07620692 J.塞姆。日志。 87,第4期,1322-1348(2022).MSC公司:03B45号 54立方30 2015年2月6日 06E25年 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。87,编号4,1322--1348(2022;Zbl 07620692) 全文: 内政部 arXiv公司
丸山义弘 纤维代数语义用于各种非经典一阶逻辑和拓扑逻辑翻译。 (英语) Zbl 1477.18011号 J.塞姆。日志。 86,第3期,1189-1213(2021). 审核人:Hirokazu Nishimura(筑波) MSC公司:18立方厘米 03G30型 03B47号 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{Y.Maruyama},J.Symb。日志。86,第3号,1189--1213(2021;Zbl 1477.18011) 全文: 内政部
伊万诺·齐亚德利;马丁·奥托 好奇的相互模拟。 (英语) Zbl 1529.03144号 J.塞姆。日志。 86,编号1,77-109(2021).MSC公司:03B45号 03B42号 03C13号机组 03C80号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Ciardelli}和\textit{M.Otto},J.Symb。日志。86,编号1,77--109(2021;Zbl 1529.03144) 全文: 内政部 arXiv公司