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)- Public announcements, public lies and recoveries
- Truth-telling reservations
- Truth by default
- Truth and the Liar
- Lying, more or less: a computer simulation study of graded lies and trust dynamics
- A formal account of dishonesty
- Doubt truth to be a liar
- To be announced
- Just lying
- (In Some Fictions) Everything is True
- How true it is = who says it's true
- Intensional protocols for dynamic epistemic logic
- Efficient analysis of belief properties in process algebra
- truelies
- Lying, accuracy and credence
- Nothing but the truth
- The edited truth
- Dynamics of lying
- The secret of my success
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)
