卡洛·普罗埃蒂;贝拉斯克斯·奎萨达,费尔南多·R。;安东尼奥·尤斯特·格内尔 对意识模型及其动态的抽象观察。 (英语) Zbl 07810633号 Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379455-469(2023年)。MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{C.Proietti}等人,《电子》。程序。西奥。计算。科学。(EPTCS)379,455--469(2023;Zbl 07810633) 全文: DOI程序 arXiv公司
卡洛·普罗埃蒂;安东尼奥·尤斯特·格内尔 抽象论证的动态认知逻辑。 (英语) Zbl 1529.03136号 合成 199,编号3-4,8641-8700(2021).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{C.Proietti}和\textit{A.Yuste-Ginel},综合199,编号3--4,8641-8700(2021;Zbl 1529.03136) 全文: DOI程序 OA许可证
佐埃·克里斯托夫;延斯·乌尔里克·汉森;卡洛·普罗埃蒂 反思网络中的社会影响。 (英语) Zbl 1396.03082号 J.逻辑语言信息。 25,编号3-4,299-333(2016).MSC公司:03B80号 03B42号 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{Z.Christoff}等人,J.Logic Lang.Inf.25,No.3--4299--333(2016;Zbl 1396.03082) 全文: DOI程序 链接