摘要
C.Beeri、R.Fagin、D.Maier和M.Yannakakis。 关于非循环数据库方案的可取性。 美国医学会杂志 ,30:497-5131983年。 谷歌学者 数字图书馆 C.伯杰。 图和超图 。北荷兰,1973年。 谷歌学者 数字图书馆 P.Blackburn、M.de Rijke和Y.Venema。 模态逻辑 剑桥大学出版社,2001年。 谷歌学者 数字图书馆 F.卡雷罗。 PDL是弱链逻辑的互模拟不变片段。 在 程序。 第30届ACM/IEEE计算机科学逻辑研讨会LICS’15 ,第341-352页,2015年。 谷歌学者 数字图书馆 A.Dawar和M.Otto。 特殊类框架上的模态特征定理。 纯逻辑与应用逻辑年鉴 , 161:1--42, 2009. 谷歌学者 交叉引用 H.-D.Ebbinghaus和J.Flum。 有限模型理论 Springer,1999年。 谷歌学者 R.Fagin、J.Halpern、Y.Moses和M.Vardi。 知识推理 麻省理工学院出版社,1995年。 谷歌学者 数字图书馆 V.Goranko和M.Otto。 模态逻辑的模型理论。 编辑P.Blackburn、J.van Benthem和F.Wolter, 模态逻辑手册 ,第249--329页。 Elsevier,2007年。 谷歌学者 交叉引用 T.Hafer和W.Thomas。 二叉树一元理论中的计算树逻辑CTL*和路径量词。 在 程序。 自动机、语言和编程 ,第269--279页。 施普林格,1987年。 谷歌学者 数字图书馆 W·霍奇斯。 模型理论 剑桥大学出版社,1993年。 谷歌学者 D.Janin和I.Walukiewicz。 论命题&mu的表达完备性- 关于一元二阶逻辑的微积分。 在 程序。 CONCUR公司 ,第263-277页,1996年。 谷歌学者 数字图书馆 F.Moller和A.Rabinovich。 依靠CTL*:一元路径逻辑的表达能力。 信息与计算 , 184:147--159, 2003. 谷歌学者 数字图书馆 M.奥托。 van Benthem-Rosen特征化定理的初等证明。 技术报告2342,FB Mathematik,TU Darmstadt,2004年。 谷歌学者 奥托先生。 有限过渡系统上的模态和保护特征定理。 纯逻辑与应用逻辑年鉴 ,130:173--2052004年。 谷歌学者 交叉引用 M.奥托。 高度非循环群、超图覆盖和保护片段。 美国医学会杂志 ,2012年第59(1)页。 谷歌学者 数字图书馆 E.罗森。 有限结构上的模态逻辑。 逻辑、语言与信息杂志 , 6:427--439, 1997. 谷歌学者 数字图书馆 J.van Benthem。 模态逻辑与经典逻辑 《那不勒斯图书馆》,1983年。 谷歌学者
建议
具有公共知识和不确定性的Agent逻辑:统一问题,构造解的算法 KES’11:第15届基于知识和智能的信息与工程系统国际会议记录——第一卷 本文研究了具有操作不确定性的Agent逻辑。 主要关注具有逻辑操作不确定性和逻辑统一性的主体公共知识逻辑。 统一问题是:对于两个任意给定的。。。 S5结构中的公开声明、私人行动和常识 LORI 2013:第四届逻辑、合理性和互动国际研讨会论文集-第8196卷 在本文中,我们采用S5对知识的定义,重新审视了公共公告、行动模型、公共知识和相对化公共知识的逻辑组合方式。 特别地,我们证明了两个表达式结果。。。