Putting right the wording and the proof of the Truth Lemma for APAL

Philippe Balbiani

首页> 外文期刊>Journal of applied non-classical logics >Putting right the wording and the proof of the Truth Lemma for APAL

【24h】

Putting right the wording and the proof of the Truth Lemma for APAL

机译：正确处理APAL的真理引理的措词和证明

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

APAL is an extension of public announcement logic. It is based on a modal operator that expresses what is true after any arbitrary announcement. An incorrect Truth Lemma has been stated and 'demonstrated' in Balbiani et al. (2008). In this paper, we put right the wording and the proof of the Truth Lemma for APAL.

机译：APAL是公共公告逻辑的扩展。它基于一个模态运算符，该模态运算符表示任意声明后的真实情况。 Balbiani等人已陈述并“证明”了不正确的真相引理。（2008）。在本文中，我们纠正了APAL的真理引理的措词和证明。

著录项

来源
《Journal of applied non-classical logics》 |2015年第1期|2-19|共18页
作者
Philippe Balbiani;
展开▼
作者单位

Toulouse Institute of Computer Science Research, France;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
dynamic epistemic logic; public announcements; arbitrary announcements; axiomatisation; completeness;

机译：动态认知逻辑;公开公告;任意公告;公理化;完整性;

相似文献

外文文献
中文文献
专利

1. A direct proof of Shapley-Sperner's lemma based on the KKMS lemma [J] . Xiang Shuwen, Xia Shunyou, Yang Yanlong Journal of Mathematical Analysis and Applications . 2021,第1期

机译：基于KKMS LEMMA的Shapley-Sperner的LEMMA直接证明
2. An elementary direct proof that the Knaster-Kuratowski-Mazurkiewicz lemma implies Sperner's lemma [J] . Voorneveld Mark Economics letters . 2017,第sepa期

机译：基本直接证明Knaster-Kuratowski-Mazurkiewicz引理暗示Sperner引理
3. New proofs for the two Barnes lemmas and an additional lemma [J] . Jantzen B. Journal of Mathematical Physics . 2013,第1期

机译：两个巴恩斯引理和另一个引理的新证明
4. Proof Pearl: A Formal Proof of Higman's Lemma in ACL2 [C] . F.J. Martin-Mateos, J.L. Ruiz-Reina, J.A. Alonso, International Conference on Theorem Proving in Higher Order Logics(TPHOLs 2005); 20050822-25; Oxford(GB) . 2005

机译：Proof Pearl：ACL2中Higman引理的形式证明
5. Folio Paper One. A perspective on motivation as an element in the persistence and proficiency of the second-language learner. Folio Paper Two. An assessment of the motivation of the student of a second language in a small school/rural school setting. Folio Paper Three. Putting research into practice. Follow-up and future recommendations for the motivation of second-language learners. [D] . Fewer-Gillis, Janet Marie. 1998

机译：对开纸一号。将动机作为第二语言学习者坚持和熟练的要素。对开纸二。对小型学校/农村学校环境中第二语言的学生的动机进行的评估。对开纸三。将研究付诸实践。有关第二语言学习者动机的跟进和未来建议。
6. Putting truth into action: using the evidence for justice [O] . D Douglas Blanke, Hubert H Humphrey III 2006

机译：将真理付诸行动：以证据为正义
7. Certain Simple, Unsolvable Problems of Group Theory. V 29,3029Parts I, II, III and IV have appeared in Series A, 57, Nos. 3 and 5; 58, Nos. 2 and 5 of these Proceedings, as well as Indag. Math., 16, Nos. 3 and 5 (1954); 17, Nos. 2 and 5 (1955).In Part I, page 234, the ninth and tenth lines following the displayed material, for both occurrences of A read D and for both occurrences of B read E: In part II, page 497, for all occurrences of M in Diagrams A and D read C. In Part IV, page 574, the third displayed line, for zαiLread z―αiL. 19).30The proof of the unsolvability of the word problem contained in this and subsequent paper is not contained in the dissertation Several simple unsolvable problems of group theory related to the word problem. (See footnote 1 of Part I.) Our proof was finally completed during the period 1954-56 while in residence at the Institute for Advanced Study. We were supported in 1954-55 directly by the Institute and in 1955-56 by National Science Foundation contract G-1974. Certain improvements were evolved ans preparations for publication were completed while the author held a Fulbright grant to the University of Oslo.Our thanks are due to Professor Kurt Gödel for his kind encouragement in these matter; certain related problems for study he has suggested we hope to deal with later. When an earlier version of Lemmas 30 and 31 was explained at a colloquium at the University of Michigan, August 3, 1956, Professor Roger Lyndon suggested an improvement which is incorporated in our present version. We are indeed indebted to Dr. John Addison and Dr. Michael Rabin for checking many of the new details during July of 1956.) [O] . Boone William W. 1957

机译：群体理论的某些简单，不可解决的问题。 V 29,3029 I，II，III和IV部分出现在A系列57、3和5号中； 58，第2和5号程序，以及Indag。 Math。，16，Nos 3 and 5（1954）; 》，第17卷，第2期和第5期（1955年）。在第一部分，第234页中，显示的材料之后的第九行和第十行，出现A读D和出现B都读E：在第二部分，第497页，对于图A和D中所有出现的M，请读C。在第Ⅳ部分，第574页中，第三行显示为zαiLreadz-αiL。 19）.30本论文及后续论文中所包含的单词问题的不可解性的证明不包含在本文中。（请参阅第I部分的脚注1。）我们的证明终于在1954-56年期间居住在高级研究所期间完成了。该研究所在1954-55年间直接为我们提供了支持，在1955-56年间得到了美国国家科学基金会的G-1974合同的支持。在作者获得奥斯陆大学富布赖特奖学金的同时，对出版物的改进和准备工作也有所进展。感谢库尔特·哥德尔教授在此方面的大力鼓励。他建议我们研究一些相关的问题，希望以后再解决。 1956年8月3日，在密歇根大学的一个座谈会上解释了Lemmas 30和31的早期版本时，Roger Lyndon教授建议进行改进，并将其纳入当前版本。我们确实要感谢John Addison博士和Michael Rabin博士在1956年7月检查了许多新细节。）

Putting right the wording and the proof of the Truth Lemma for APAL

摘要

著录项

相似文献

相关主题

期刊订阅