迪伦，贝利耶；马西莫·贝内雷切蒂；黛拉·莫妮卡，达里奥；法比奥·莫加维罗 Good-for-game QPTL：一种交替的hodges语义。 （英语） Zbl 07650600号 ACM事务处理。计算。日志。 24，第1号，第4号论文，57页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人，ACM Trans。计算。日志。24，第1号，第4号论文，57页（2023；Zbl 07650600） 全文： 内政部 arXiv公司
盖尔·方丹；法比奥·莫加维罗；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；洛雷达纳·索伦蒂诺 计算树逻辑中的循环检测。 （英语） Zbl 1400.68123号 Inf.计算。 262，第2部分，265-279（2018）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人，《信息计算》。262，第2部分，265--279（2018；Zbl 1400.68123） 全文： 内政部 arXiv公司
法比奥·莫加维罗；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；莫舍·瓦尔迪。 策略推理：关于可满足性问题。 （英语） Zbl 1448.68312号 日志。方法计算。科学。 13，第1号，第9号论文，37页（2017年）.MSC公司：60年第68季度 03B44号 03B70号 2017年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人，日志。方法计算。科学。13，第1号，第9号论文，37页（2017；Zbl 1448.68312） 全文： 内政部 arXiv公司
盖尔·方丹；法比奥·莫加维罗；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；洛雷达纳·索伦蒂诺 计算树逻辑中的循环检测。 （英语） Zbl 1478.68158号 Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226164-177（2016）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226164--177（2016；Zbl 1478.68158） 全文： 链接
法比奥·莫加维罗；阿尼埃洛·穆拉诺；莫舍·瓦尔迪。 交替时间逻辑中的相关战略推理。 （英语） Zbl 1354.68257号 J.日志。计算。 第5期第26页，1663-1695页（2016年）.MSC公司：68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人，J.Log。计算。26，第5号，1663-1695（2016；Zbl 1354.68257） 全文： 内政部 链接
马西莫·贝内雷切蒂；法比奥·莫加维罗；阿尼埃洛·穆拉诺 关于子结构和博弈的推理。 （英语） Zbl 1354.03019号 ACM事务处理。计算。日志。 第16条第3款第25条第51页（2015年）.MSC公司：03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人，《美国医学杂志》。计算。日志。16，第3号，第25条，51页（2015；Zbl 1354.03019） 全文： 内政部
马西莫·贝内雷切蒂；法比奥·莫加维罗；阿尼埃洛·穆拉诺 子结构时序逻辑。 （英语） Zbl 1366.03182号 2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。368-377 (2013).MSC公司：03B44号 03B25号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人，in：2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学，2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2013。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。368--377（2013年；Zbl 1366.03182） 全文： 内政部
法比奥·莫加维罗 计算机科学中的逻辑学。时间逻辑和战略逻辑的扩展研究。 （英语） Zbl 1308.68009号 亚特兰蒂斯计算机研究3.巴黎：亚特兰蒂斯出版社（ISBN 978-94-91216-94-7/hbk；978-94.91216-95-4/电子书）。十七、149页。(2013). 审核人：马里奥·阿尔维亚诺（伦德） MSC公司：68-02 03B44号 03B70号 68T27型 68立方英尺 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}，计算机科学中的逻辑学。时间逻辑和战略逻辑的扩展研究。巴黎：亚特兰蒂斯出版社（2013；Zbl 1308.68009） 全文： 内政部
亚历山德罗·比安科；法比奥·莫加维罗；阿尼埃洛·穆拉诺 分级计算树逻辑。 （英语） Zbl 1351.68153号 ACM事务处理。计算。日志。 第13号第3条第25条第53页（2012年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bianco}等人，ACM Trans。计算。日志。13，第3号，第25条，53页（2012；Zbl 1351.68153） 全文： 内政部 链接
法比奥·莫加维罗；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；莫舍·瓦尔迪。 是什么使Atl公司*可判定的？战略逻辑的一个决定性片段。 （英语） Zbl 1365.68329号 Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。《计算机科学讲义》74541933-208（2012）。MSC公司：60年第68季度 03B25号 03B44号 68问题85 68T27型 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人，Lect。注释计算。科学。7454，193--208（2012；Zbl 1365.68329） 全文： 内政部 arXiv公司
法比奥·莫加维罗；阿尼埃洛·穆拉诺；莫舍·瓦尔迪。 推理策略。 （英语） Zbl 1245.68138号 Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8133-144，仅电子版（2010年）。MSC公司：60年第68季度 第68季度10 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人，LIPIcs——莱布尼茨国际程序。通知。8133-144（2010年；Zbl 1245.68138） 全文： 内政部 链接
法比奥·莫加维罗；阿尼埃洛·穆拉诺；莫舍·瓦尔迪。 交替时间逻辑中的相关战略推理。 （英语） Zbl 1310.68144号 Clarke，Edmund M.（编辑）等人，《编程逻辑、人工智能和推理》。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。计算机科学课堂讲稿6355。人工智能课堂讲稿，371-386（2010）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人，Lect。注释计算。科学。6355371--386（2010年；Zbl 1310.68144） 全文： 内政部 链接
亚历山德罗·比安科；法比奥·莫加维罗；阿尼埃洛·穆拉诺 带有二进制编码的分级计算树逻辑。 （英语） Zbl 1287.68102号 Dawar，Anuj（编辑）等人，《计算机科学逻辑》。2010年8月23日至27日在捷克共和国布尔诺举行的第24届CSL 2010国际研讨会，EACSL第19届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15204-7/pbk）。计算机科学课堂讲稿6247125-139（2010）。MSC公司：60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Bianco}等人，Lect。注释计算。科学。6247125-139（2010年；Zbl 1287.68102） 全文： 内政部
法比奥·莫加维罗；阿尼埃洛·穆拉诺 带有最小模型量词的分支时间时序逻辑。 （英语） Zbl 1247.03026号 Diekert，Volker（编辑）等人，《语言理论的发展》。第13届国际会议，DLT 2009，德国斯图加特，2009年6月30日至7月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02736-9/pbk）。《计算机科学讲义》5583396-409（2009）。MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}和\textit{A.Murano}，Lect。注释计算。科学。5583、396--409（2009年；Zbl 1247.03026） 全文： 内政部