Various extensions of public announcement logic have been proposed with quantification over announcements. The best-known extension is called arbitrary public announcement logic, APAL. It contains a primitive language construct Box phi intuitively expressing that 'after every public announcement of a formula, formula phi is true.' The logic APAL is undecidable and it has an infinitary axiomatization. Now consider restricting the APAL quantification to public announcements of Boolean formulas only, such that Box phi intuitively expresses that 'after every public announcement of a Boolean formula, formula phi is true.' This logic can therefore called Boolean arbitrary public announcement logic, BAPAL. The logic BAPAL is the subject of this work. Unlike APAL it has a finitary axiomatization. Also, BAPAL is not at least as expressive as APAL. A further claim that BAPAL is decidable is deferred to a companion paper.


翻译:以对公告进行量化的方式提出了各种公开宣布逻辑的扩展。 最著名的扩展被称为任意公开宣布逻辑, APAL。 它包含一种原始语言构建 Box phi 直观地表达“ 每次公开宣布公式后, 公式是真实的 。 ” 逻辑 APAL 是不可改变的, 它具有无限的分解性。 现在考虑将APAL 量化限制在仅公开宣布布尔兰公式时, 以便Box fi 直截了当地表示, “ 在每次公开宣布布尔兰公式后, 公式就是真实的 。 ” 因此, 这个逻辑可以称为 Boolean 任意公开宣布逻辑, BAPAL 。 逻辑 BAPAL 是这项工作的主题 。 不同于 APAL 的逻辑有鳍分解法化 。 另外, BAPAL 至少没有像 APAL 那样表达 。 另一个关于BAPAL 是可裁量的主张被推迟到配套文件 。

0
下载
关闭预览

相关内容

《纯逻辑与应用逻辑年鉴》杂志在数学逻辑的各个领域以及逻辑在数学、理论计算机科学和其他相关学科的应用方面发表了高质量的论文。此外,《纯逻辑与应用逻辑年鉴》偶尔会以纯逻辑与应用逻辑出版精选会议论文专刊。官网链接:https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/about/aims-and-scope
专知会员服务
154+阅读 · 2021年3月6日
专知会员服务
182+阅读 · 2021年2月4日
专知会员服务
174+阅读 · 2020年11月23日
【干货书】机器学习速查手册,135页pdf
专知会员服务
123+阅读 · 2020年11月20日
ACL2020接受论文列表公布,571篇长文208篇短文
专知会员服务
66+阅读 · 2020年5月19日
强化学习最新教程,17页pdf
专知会员服务
171+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
100+阅读 · 2019年10月9日
Annual Review of Biochemistry外泌体综述
外泌体之家
5+阅读 · 2019年6月27日
ICLR2019最佳论文出炉
专知
11+阅读 · 2019年5月6日
连载▍AlexNet结构详解(引用MrGiovanni博士)
36大数据
10+阅读 · 2019年3月28日
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
【TED】什么让我们生病
英语演讲视频每日一推
7+阅读 · 2019年1月23日
神经网络学习率设置
机器学习研究会
4+阅读 · 2018年3月3日
已删除
将门创投
5+阅读 · 2017年11月22日
Arxiv
0+阅读 · 2021年12月3日
Arxiv
0+阅读 · 2021年12月2日
Arxiv
30+阅读 · 2021年7月7日
VIP会员
相关VIP内容
专知会员服务
154+阅读 · 2021年3月6日
专知会员服务
182+阅读 · 2021年2月4日
专知会员服务
174+阅读 · 2020年11月23日
【干货书】机器学习速查手册,135页pdf
专知会员服务
123+阅读 · 2020年11月20日
ACL2020接受论文列表公布,571篇长文208篇短文
专知会员服务
66+阅读 · 2020年5月19日
强化学习最新教程,17页pdf
专知会员服务
171+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
100+阅读 · 2019年10月9日
相关资讯
Annual Review of Biochemistry外泌体综述
外泌体之家
5+阅读 · 2019年6月27日
ICLR2019最佳论文出炉
专知
11+阅读 · 2019年5月6日
连载▍AlexNet结构详解(引用MrGiovanni博士)
36大数据
10+阅读 · 2019年3月28日
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
【TED】什么让我们生病
英语演讲视频每日一推
7+阅读 · 2019年1月23日
神经网络学习率设置
机器学习研究会
4+阅读 · 2018年3月3日
已删除
将门创投
5+阅读 · 2017年11月22日
Top
微信扫码咨询专知VIP会员