吉姆·德·格罗特;德克·帕丁森 Hennessy-Milner性质的拓扑紧性。 （英语） Zbl 1525.03050号 Inf.计算。 287，文章ID 104757，20 p.（2022）. 审核人：井上高雄（东京） MSC公司：03B20型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.de Groot}和\textit{D.Pattinson}，Inf.Compute。287，文章ID 104757，20 p.（2022；Zbl 1525.03050） 全文： DOI程序 arXiv公司
劳尔·费尔瓦里;贝拉斯克斯·奎萨达，费尔南多·R。;王燕京 用于了解逻辑的相互模拟。 （英语） Zbl 1505.03044号 版本符号。日志。 15，编号2，450-486（2022）. 审核人：埃里克·马丁（悉尼） MSC公司：03B42号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛R.Fervari｝等人，Rev.Symb。日志。15，编号2，450-486（2022；Zbl 1505.03044） 全文： DOI程序
约翰·范·本特姆;达格·韦斯特斯特尔 广义量词符合模态邻域语义。 （英语） Zbl 07442313号 Madarász，Judit（编辑）等人，Hajnal Andréka和István németi关于科学统一的研究。通过代数逻辑从计算到相对论。查姆：斯普林格。Outst公司。控制日志。19, 187-206 (2021).MSC公司：03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}和\textit{D.Westerstáhl}，Outst。控制日志。19、187--206（2021；Zbl 07442313） 全文： DOI程序 链接