菲利普·巴尔比亚尼;亚历山大·巴尔塔格;汉斯·范·迪特马什;安德烈亚斯·赫齐格;丰弘Hoshi;蒂亚戈，德利马 “Knowable”是指“发布公告后才知道”。 （英语） Zbl 1208.03019号 版本符号。日志。 1，第3号，305-334（2008）. 引入了一种称为“任意公告逻辑”（APAL）的逻辑，它是之前文献中研究的公告逻辑的扩展。公告逻辑又是多主体认知逻辑的扩展，它使用动态操作符来模拟公告对整个主体组的信息后果。APAL通过添加一个动态模式操作符来扩展公告逻辑，该操作符表示任何公告之后的真实内容：\（\lozenge\varphi\）被解释为表示有一个真实的公告\（\psi\），之后的\（\varphi \）为真。这一逻辑为惠誉的可知性问题提供了一个视角：对于哪些公式，它认为是（varphi to lozenge Kvarphi）？得到了各种语义结果，并证明了APAL的Hilbert式公理化的完备性。审核人：贾科莫·博纳诺（戴维斯） 引用于2评论引用于40文件 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） 关键词：公告逻辑;摩尔判决;可知性;军事认知逻辑;必要性形式 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人，Rev.Symb。日志。1，第3号，305-334（2008；Zbl 1208.03019） 全文： 内政部 参考文献： [1] Aczel，P.（1988年）。非完整集[CSLI课堂讲稿14]。加利福尼亚州斯坦福：CSLI出版物·Zbl 0668.04001号 [2] 奥戈特内斯，T.和范迪特马什，H.P.（2008）。联盟和公告。Padgham，L.、Parkes，D.C.、Müller，J.和Parsons，S.编辑，《第七届国际自治代理和多代理系统联合会议论文集》（AAMAS 2008），葡萄牙埃斯特里尔，2008年5月12日至16日，第2卷，IFAAMAS，673-680。 [3] Balbiani，P.、Van Ditmarsch，H.P.、Herzig，A.和De Lima，T.（2007年）。一种用于公告逻辑的表格方法。编辑：Olivetti，N。用分析表和相关方法进行自动推理国际会议论文集（Tableaux）。LNAI 4548。德国柏林：施普林格出版社，第43-59页·Zbl 1132.68719号 [4] Baltag，A.、Moss，L.S.和Solecki，S.（1998年）。公开声明、常识和私人怀疑的逻辑。在吉尔博亚，我，编辑。第七届理性与知识理论问题会议记录（TARK 98）。第43-56页·Zbl 1386.03019号 [5] Blackburn，P.、De Rijke，M.和Venema，Y.（2001）。模态逻辑。剑桥理论计算机科学丛书53。剑桥：剑桥大学出版社·Zbl 0988.03006号 [6] Brogaard，B.和Salerno，J.（2004）。惠誉知识悖论。可从以下位置获得：http://parato.stanford.edu/archives/sum2004/entries/fitch-paradox/。 ·Zbl 1030.03509号 [7] Dummett，M.（2001）。维克多的错误。合成，61，1-2·Zbl 1030.03507号 [8] Fine，K.（1970年）。模态逻辑中的命题量词。理论，36（3），336-346·Zbl 0302.02005 [9] Fitch，F.B.（1963年）。对一些价值概念的逻辑分析。符号逻辑杂志，28（2），135-142·兹比尔0943.03599 [10] French，T.和Van Ditmarsch，H.P.（2008）。任意公告逻辑的不确定性。编辑：Areces，C.和Goldblatt，R。2008年模态逻辑进展论文集。法国南希，2008年9月9日至12日。伦敦：学院出版物，第23-42页·兹比尔1244.03058 [11] Gerbrandy，J.D.（1999）。克里普克行星上的相互模拟。博士论文。ILLC论文集DS-1999-01。阿姆斯特丹大学。 [12] Gerbrandy，J.D.和Groeneveld，W.（1997年）。关于信息变更的推理。《逻辑、语言和信息杂志》，第6期，第147-169页·Zbl 0873.03029号 [13] Goldblatt，R.（1982）。计算机编程逻辑公理化。德国柏林：Springer-Verlag·Zbl 0474.68045号 [14] Hintikka，J.知识与信仰。纽约州伊萨卡：康奈尔大学出版社。 [15] Hoshi，T.（2006）。群通信的通信图逻辑和带有未来算子的动态认知逻辑。斯坦福大学哲学系。 [16] Hoshi，T.（2008）。公告逻辑与公告协议（手稿，斯坦福大学哲学系）。 [17] Meyer，J.-J Ch.和Van Der Hoek，W.（1995）。人工智能和计算机科学的认识逻辑。剑桥理论计算机科学丛书41。剑桥：剑桥大学出版社·Zbl 0868.03001号 [18] Miller，J.S.和Moss，L.S.（2005）。迭代模态相对化的不可判定性。《逻辑研究》，79（3），373-407·Zbl 1088.03016号 [19] Moore，G.E.（1942年）。对批评我的人的回应。在Schilpp，，P.A.，编辑。G.E.摩尔的哲学。《活着的哲学家图书馆》，第4卷。伊利诺伊州埃文斯顿：西北大学，第535-677页。 [20] Moss，L.S.和Parikh，R.（1992年）。拓扑推理和知识逻辑。编辑：Moses，Y。TARK’92：关于知识推理理论方面的第四届会议记录。加利福尼亚州旧金山：Morgan Kaufmann Publishers Inc.，第95-105页。 [21] Parikh，R.、Moss，L.S.和Steinsvold，C.（2007年）。拓扑和认知逻辑。编辑：Aiello，M.、Pratt-Hartmann，I.和Van Benthem，J.F.A.K。空间逻辑手册。德国柏林：Springer-Verlag，第299-341页。 [22] Plaza，J.A.（1989）。公共传播的逻辑。在Emrich，M.L.、Pfeifer，M.S.、Hadzikadic，M.和Ras，Z.W.编辑中。第四届智能系统方法学国际研讨会论文集：海报会议计划。ORNL/DSRD-24。橡树岭国家实验室，第201-216页。 [23] Plaza，J.A.（2007）。公共传播的逻辑。Synthese，158（2），165-179（重印Plaza 1989年的研讨会论文）·Zbl 1126.03308号 [24] Tennant，N.（1997年）。驯服真理。英国牛津：牛津大学·Zbl 0929.03001号 [25] Van Benthem，J.F.A.K.（2004）。人们可能会知道什么。分析，64（2），95-105·Zbl 1073.03004号 [26] Van Benthem，J.F.A.K.（2006）。”“一个是孤独的数字”：关于沟通的逻辑。Z.Chatzidakis、P.Koepke和W.Pohlers编辑。02年逻辑学术讨论会。逻辑课堂讲稿第27卷。纽约波基普西：符号逻辑协会，第96-129页·Zbl 1108.03011号 [27] Van Benthem，J.F.A.K.、Gerbrandy，J.D.和Pacuit，E.（2007年）。用于交互的合并框架：DEL和ETL。在Samet，D.，编辑。TARK 2007年会议记录。比利时卢瓦因·拉纽夫：卢瓦因大学出版社，第42-51页。 [28] Van Ditmarsch，H.P.和Kooi，B.P.（2006）。我成功的秘诀。合成，151201-232·Zbl 1101.03315号 [29] Van Ditmarsch，H.P.和Kooi，B.P.（2008年）。本体和认知变化的语义结果。在Bonanno，G.、Van Der Hoek，W.和Wooldridge，M.的编辑中。2006年LOFT的后期处理。阿姆斯特丹：阿姆斯特丹大学出版社。出现在《逻辑与游戏中的文本》系列中，第87-117页·Zbl 1261.03081号 [30] Van Ditmarsch，H.P.、Van Der Hoek，W.和Kooi，B.P.（2007）。动态认识逻辑，Synthese Library第337卷。德国柏林：施普林格·Zbl 1156.03015号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。