贝内维迪斯，马里奥;亚历山大·马德拉;马丁斯（Manuel A.Martins）。 分级认知逻辑与公告。 （英文） Zbl 1491.03013号 J.日志。阿尔盖布。方法计划。 125，文章ID 100732，15 p.（2022）.MSC公司：03B42号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{M.Benevides}等人，J.Log。阿尔盖布。方法程序。125，文章ID 100732，15 p.（2022；Zbl 1491.03013） 全文： 内政部
贝内维迪斯，马里奥;亚历山大·马德拉;马丁斯（Manuel A.Martins）。 在具有结构化知识的认知逻辑中加入证明演算。 （英文） Zbl 1496.68309号 Hojjat，Hossein（编辑）等人，《软件工程基础》，第九届国际会议，FSEN 2021，虚拟活动，2021年5月19日至21日。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。12818, 53-68 (2021).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Benevides}等人，Lect。注释计算。科学。12818、53-68（2021年；Zbl 1496.68309） 全文： 内政部 链接
亚历山大·马德拉;马丁斯（Manuel A.Martins）。;贝内维特斯，马里奥·R·F·。 具有结构化知识的认识逻辑。 （英文） Zbl 1433.68423号 Accattoli，Beniamino（编辑）等人，《逻辑和语义框架与应用第13次研讨会论文集》，LSFA 18，巴西福塔莱萨，2018年9月26日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。344, 137-149 (2019).MSC公司：68T27型 03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人，《电子》。注释Theor。计算。科学。344137-149（2019年；Zbl 1433.68423） 全文： 内政部
贝内维特斯，马里奥·R·F·。;亚历山大·马德拉;马丁斯（Manuel A.Martins）。 一个等级认知逻辑家族。 （英文） Zbl 1433.68416号 Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338，45-59（2018年）。MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.R.F.Benevides}等人，《电子》。注释Theor。计算。科学。338、45-59（2018年；Zbl 1433.68416） 全文： 内政部