TitleTrue lies
AuthorsAgotnes, Thomas
van Ditmarsch, Hans
Wang, Yanjing
AffiliationUniv Bergen, Informat Sci & Media Studies, Bergen, Norway.
Zhejiang Univ, Ctr Study Language & Cognit, Hangzhou, Zhejiang, Peoples R China.
Univ Lorraine, CNRS, LORIA, Nancy, France.
Peking Univ, Dept Philosophy, Beijing, Peoples R China.
KeywordsDYNAMICS
LOGIC
Issue Date2018
PublisherSYNTHESE
CitationSYNTHESE. 2018, 195(10,SI), 4581-4615.
AbstractA true lie is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a formula (that is false and) that becomes true when announced. We investigate true lies and other types of interaction between announced formulas, their preconditions and their postconditions, in the setting of Gerbrandy's logic of believed announcements, wherein agents may have or obtain incorrect beliefs. Our results are on the satisfiability and validity of instantiations of these semantically defined categories, on iterated announcements, including arbitrarily often iterated announcements, and on syntactic characterization. We close with results for iterated announcements in the logic of knowledge (instead of belief), and for lying as private announcements (instead of public announcements) to different agents. Detailed examples illustrate our lying concepts.
URIhttp://hdl.handle.net/20.500.11897/568548
ISSN0039-7857
DOI10.1007/s11229-017-1423-y
IndexedA&HCI
SCI(E)
SSCI
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®



Checked on Last Week

Scopus®



Checked on Current Time

百度学术™



Checked on Current Time

Google Scholar™





License: See PKU IR operational policies.