文章基本信息

标题：How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
本地全文：下载
作者：Malvin Gattinger ; Yanjing Wang
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2019
卷号：297
页码：206-220
DOI：10.4204/EPTCS.297.14
语种：English
出版社：Open Publishing Association
摘要：In standard epistemic logic, knowing that p is the same as knowing that p is true, but it does not say anything about understanding p or knowing its meaning. In this paper, we present a conservative extension of Public Announcement Logic (PAL) in which agents have knowledge or belief about both the truth values and the meanings of propositions. We give a complete axiomatization of PAL with Boolean Definitions and discuss various examples. An agent may understand a proposition without knowing its truth value or the other way round. Moreover, multiple agents can agree on something without agreeing on its meaning and vice versa.