王浩宇;王燕京;王云松 探究逻辑是一种知道如何的认知逻辑。 (英语) Zbl 07587332号 Ann.纯粹应用。逻辑 173,第10号,文章ID 103145,29 p.(2022).MSC公司:03B55号 03B45号 03B42号 03B20型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wang}等人,Ann.Pure Appl。逻辑173,第10号,文章ID 103145,29页(2022;Zbl 07587332) 全文: 内政部 arXiv公司
路易吉·桑托卡纳莱;维尼马,伊德 平面模态不动点逻辑的完整性。 (英语) Zbl 1225.03020号 Ann.纯粹应用。逻辑 162,第1期,55-82(2010).MSC公司:03B45号 03B70号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale}和\textit{Y.Venema},Ann.Pure Appl。逻辑162,No.1,55--82(2010;Zbl 1225.03020) 全文: 内政部 链接
凯·布伦勒;托马斯·施图德 公共知识的句法删减。 (英语) Zbl 1170.03007号 Ann.纯粹应用。逻辑 160,第1期,82-95(2009). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B42号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Brünnler}和\textit{T.Studer},Ann.纯应用。逻辑160,编号1,82--95(2009;Zbl 1170.03007) 全文: 内政部
卢卡·阿尔贝鲁奇;贾格尔,格哈德 关于常识逻辑的截消。 (英语) Zbl 1067.03062号 Ann.纯粹应用。逻辑 133,编号1-3,73-99(2005). 审核人:G.E.Mints(斯坦福) MSC公司:05年3月 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}和\textit{G.Jäger},Ann.Pure Appl。逻辑133,编号1--3,73-99(2005;Zbl 1067.03062) 全文: 内政部
拉马努贾姆,R。 基于视图的明确知识。 (英语) Zbl 0933.68130号 Ann.纯粹应用。逻辑 96,编号1-3,343-368(1999).MSC公司:68立方英尺 68T27型 03B45号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam},Ann.纯粹应用。逻辑96,编号1--3,343--368(1999;Zbl 0933.68130) 全文: 内政部