True lies
From MaRDI portal
Abstract: A 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.
Recommendations
Cites work
- Arrow update logic
- Cheating husbands and other stories: A case study of knowledge, action, and communication
- Dynamics of lying
- Epistemic planning for single- and multi-agent systems
- Expressivity and completeness for public update logics via reduction axioms
- Hidden protocols: modifying our expectations in an evolving world
- Information dynamics and uniform substitution
- Logics of communication and change
- Modal logic
- Moorean phenomena in epistemic logic
- One hundred prisoners and a light bulb. Illustrations by Elancheziyan
- Reasoning about information change
- Second-order false-belief tasks: analysis and formalization
- The logic of public announcements, common knowledge, and private suspicions
- The secret of my success
- The undecidability of iterated modal relativization
- Undecidability for arbitrary public announcement logic
Cited in
(19)- To be announced
- Dynamics of lying
- (In Some Fictions) Everything is True
- Lying, accuracy and credence
- The edited truth
- Public announcements, public lies and recoveries
- Lying, more or less: a computer simulation study of graded lies and trust dynamics
- Truth by default
- Just lying
- Efficient analysis of belief properties in process algebra
- Doubt truth to be a liar
- Truth and the Liar
- The secret of my success
- Truth-telling reservations
- How true it is = who says it's true
- truelies
- Nothing but the truth
- Intensional protocols for dynamic epistemic logic
- A formal account of dishonesty
This page was built for publication: True lies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q143747)
