亚历山德罗·阿塔尔；让·克里斯托夫·荣格；安德烈亚·马祖洛；安娜·奥扎基；弗兰克·沃尔特 《没有贝丝和克雷格的生活：描述和模态逻辑中的定义和解释》，包含名词和角色。 （英语） Zbl 07760995号 ACM事务处理。计算。日志。 24，第4号，第34号论文，51页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，ACM翻译。计算。日志。24，第4号，第34号论文，51页（2023；Zbl 07760995） 全文： 内政部 arXiv公司 OA许可证
Katrin M.丹纳特。；埃里希·格拉德尔 保护逻辑的半环形起源。 （英语） Zbl 07442308号 Madarász，Judit（编辑）等人，Hajnal Andréka和István németi关于科学统一的研究。通过代数逻辑从计算到相对论。查姆：斯普林格。Outst公司。控制日志。19, 53-79 (2021).MSC公司：68倍 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Dannert}和\textit{E.Grädel}，Outst。控制日志。19、53-79（2021；Zbl 07442308） 全文： 内政部
迈克尔·本尼迪克特；皮埃尔·布赫斯；砰，迈克尔·范登 可判定不动点逻辑中的可定义性和插值。 （英语） Zbl 1509.03088号 日志。方法计算。科学。 15，第3号，第29号论文，53页（2019年）.MSC公司：03B70号 03B45号 03B25号 03C40号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人，日志。方法计算。科学。15，第3号，第29号论文，53页（2019年；Zbl 1509.03088） 全文： arXiv公司