保罗·A·S·维洛索。;Sheila R.M.维洛索。;贝内维特斯，马里奥·R·F·。 关于模态的图演算。 （英语） Zbl 1401.03047号 西奥。计算。科学。 685, 83-103 (2017). 审核人：Max A.Freund（圣何塞） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}等人，Theor。计算。科学。685，83-103（2017年；兹比尔1401.03047） 全文： 内政部
保罗·A·S·维洛索。;Sheila R.M.维洛索。;贝内维特斯，马里奥·R·F·。 关于多模态逻辑的图计算。 （英语） Zbl 1343.03016号 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312231-252，仅电子版（2015）。MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}等人，《电子》。理论注释。计算。科学。312231-252（2015；Zbl 1343.03016） 全文： 内政部