卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;阿德里安·弗兰卡兰扎;安娜·英格尔夫斯多蒂 通过递归模式逻辑的转换实现复杂性。 （英语） Zbl 1530.68124号 Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370、34-48（2022）。MSC公司：第68季度19 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370、34-48（2022年；Zbl 1530.68124） 全文： arXiv公司 链接
约翰内斯·马蒂;维尼马，伊德 无交互微积分的聚焦系统。 （英语） Zbl 07532527号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 371-388 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Marti}和\textit{Y.Venema}，莱克特。注释计算。科学。12842、371--388（2021；Zbl 07532527） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 在有限平面图上，\（\mu\）-微积分交替深度层次是无限的。 （英语） Zbl 1395.03009号 西奥。计算。科学。 737, 40-61 (2018).MSC公司：03B45号 03B70号 05年3月 05年10月 65年第68季度 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，Theor。计算。科学。737，40-61（2018；Zbl 1395.03009） 全文： 内政部 链接
van Hulst，A.C.公司。;Reniers，医学硕士。;W.J.福克金。 非确定性和模态逻辑的最大允许控制系统综合。 （英语） Zbl 1356.93030号 离散事件动态。系统。 27，第1号，109-142（2017）.MSC公司：93亿B50 03B45号 93个B05 65年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.C.van Hulst}等人，《离散事件动力学》。系统。27，第1号，109--142（2017；Zbl 1356.93030） 全文： 内政部 OA许可证
马丁·兰格 多元\（\mu\）-演算中的arity层次结构。 （英语） Zbl 1476.68176号 Matthes，Ralph（编辑）等人，第十届计算机科学固定点国际研讨会论文集，2015年国际计算机科学联合会，德国柏林，2015年9月11日至12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）191、105-116（2015）。MSC公司：68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange}，电子。程序。西奥。计算。科学。（EPTCS）191、105--116（2015；Zbl 1476.68176） 全文： arXiv公司 链接
伊万杰利亚·安东尼亚科斯 明确的通用常识。 （英语） Zbl 1419.03017号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。国际研讨会，LFCS 2013，美国加利福尼亚州圣地亚哥，2013年1月6日至8日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 16-28 (2013).MSC公司：03B42号 03B45号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{E.Antonakos}，莱克特。注释计算。科学。7734，16-28（2013；Zbl 1419.03017） 全文： 内政部
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 常识的理由。 （英语） Zbl 1242.03036号 J.应用。非类别。日志。 21，第1期，35-60（2011）.MSC公司：03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛S.Bucheli｝等人，J.应用。非类别。日志。21、第1号、第35--60号（2011；Zbl 1242.03036） 全文： 内政部 arXiv公司
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 获得常识的两种方法。 （英语） 兹比尔1345.03027 Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记26283-98（2010）。MSC公司：03B42号 03财年03 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bucheli}等人，《电子》。注释Theor。计算。科学。26283--98（2010年；Zbl 1345.03027） 全文： 内政部
10个Cate，Balder;盖尔·方丹;塔德乌兹·利塔克 XPath的一些模态方面。 （英语） Zbl 1242.68010号 J.应用。非类别。日志。 20，第3期，139-171（2010）.MSC公司：68英里11 第68页，共15页 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.ten Cate}等人，J.Appl。非类别。日志。20，第3号，139--171（2010；Zbl 1242.68010） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 关于传递框架和有限传递框架上的（mu）-演算。 （英语） Zbl 1208.68145号 西奥。计算。科学。 411，第50号，4273-4290（2010）.MSC公司：60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'agostino}和\textit{G.Lenzi}，Theor。计算。科学。411，第50号，4273--4290（2010；Zbl 1208.68145） 全文： 内政部
彼得罗·阿巴特;拉杰夫·戈尔;弗洛里安·维德曼 基于动态表的PDL可满足性决策过程。 （英语） Zbl 1347.68298号 Areces，Carlos（ed.）等人，《第五届模态方法研讨会论文集》（M4M5 2007），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231191-209（2009）。MSC公司：68吨15 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Abate}等人，《电子》。注释Theor。计算。科学。231191--209（2009年；Zbl 1347.68298） 全文： 内政部
卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 转移系统受限类上的模态演算层次结构。 （英语） 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） 全文： 内政部 链接
贾格尔，格哈德;马蒂斯·克雷茨;托马斯·施图德 无穷大\（\mu\）的规范完备性。 （英语） Zbl 1156.68013号 J.日志。阿尔盖布。程序。 76，第2期，270-292（2008）.MSC公司：68纳米30 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}等人，J.Log。阿尔盖布。程序。76，第2号，270--292（2008；Zbl 1156.68013） 全文： 内政部 链接
彼得罗·阿巴特;拉杰夫·戈尔;弗洛里安·维德曼 计算树逻辑的单程表。 （英语） Zbl 1137.03304号 Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学讲义4790。《人工智能课堂讲稿》，32-46（2007）。MSC公司：03B35型 03B25号 03B44号 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Abate}等人，Lect。注释计算。科学。4790，32-46（2007；Zbl 1137.03304） 全文： 内政部
皮埃尔·莱斯坎 使用COQ机械化公共知识逻辑。 （英语） Zbl 1122.03007号 安。数学。Artif公司。智力。 48，第1-2、15-43号（2006）.MSC公司：03B35型 03B42号 03B15号机组 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Lescanne}，Ann.数学。Artif公司。智力。48，编号1--2，15--43（2006；Zbl 1122.03007） 全文： 内政部
谢尔盖·阿特莫夫 合理的常识。 （英语） 邮编1094.03005 西奥。计算。科学。 357，编号1-3，4-22（2006）.MSC公司：03B42号 03层45 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \文本{S.Artemov}，Theor。计算。科学。357，编号1-3,4-22（2006年；兹bl 1094.03005） 全文： 内政部
卢卡·阿尔贝鲁奇;文森佐·萨利潘特 关于模态微积分和非完备集理论。 （英语） 兹比尔1068.03021 J.菲洛斯。日志。 33，第4期，343-360（2004）.MSC公司：03B70号 68问题85 03E70型 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}和textit{V.Salipate}，J.Philos。日志。33，第4号，343--360（2004；Zbl 1068.03021） 全文： 内政部