卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 转移系统受限类上的模态演算层次结构。 (英语) Zbl 1191.03012号 J.塞姆。日志。 74,第4期,1367-1400(2009). 审核人:克莱门斯·库普克(伦敦) MSC公司:03B45号 03B70号 05第57页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}和\textit{A.Facchini},J.Symb。日志。74,第4号,1367--1400(2009;Zbl 1191.03012) 全文: DOI程序 链接
卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 关于模态演算和哥德尔逻辑。 (英语) Zbl 1201.03008号 螺柱日志。 91,第2期,145-169(2009).MSC公司:03B45号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}和\textit{A.Facchini},研究日志。91,第2号,145--169(2009;Zbl 1201.03008) 全文: DOI程序 链接