卢卡·阿尔贝鲁奇 S5上模态演算的序列演算。 （英语） Zbl 1266.03028号 J.日志。计算。 19，第6期，971-985（2009）.MSC公司：03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}，J.Log。计算。19，第6号，971--985（2009；Zbl 1266.03028） 全文： 内政部 链接
卢卡·阿尔贝鲁奇 模态演算层次结构的严格性。 （英语） Zbl 1021.03012号 Grädel，Erich（编辑）等人，《自动机、逻辑和无限游戏》。当前研究指南。柏林：斯普林格。莱克特。注释计算。科学。2500, 185-201, 365-376 (2002).MSC公司：03B70号 05年3月 65年第68季度 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}，莱克特。注释计算。科学。2500、185--201、365--376（2002；Zbl 1021.03012） 全文： 内政部