{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:FFQXBBGY3X2OILPJBHLQOSBV5V","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9ac6631a410be5cd5e5ffac16166815ca9e26b8f302365287cadb15bc238c6f5","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-08-10T07:55:15Z","title_canon_sha256":"bd388bb61ffe5e4d17eeed1396f2dbe2698eedd12b209ecfc6b004146e645c61"},"schema_version":"1.0","source":{"id":"1108.2115","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.2115","created_at":"2026-05-18T03:59:38Z"},{"alias_kind":"arxiv_version","alias_value":"1108.2115v2","created_at":"2026-05-18T03:59:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.2115","created_at":"2026-05-18T03:59:38Z"},{"alias_kind":"pith_short_12","alias_value":"FFQXBBGY3X2O","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FFQXBBGY3X2OILPJ","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FFQXBBGY","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:a44f25c4ba39a6316ec648784976ed4c97b2d0505dc61ea6dbbcd0e51011b98d","target":"graph","created_at":"2026-05-18T03:59:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We propose a dynamic logic of lying, wherein a 'lie that phi' (where phi is a formula in the logic) is an action in the sense of dynamic modal logic, that is interpreted as a state transformer relative to the formula phi. The states that are being transformed are pointed Kripke models encoding the uncertainty of agents about their beliefs. Lies can be about factual propositions but also about modal formulas, such as the beliefs of other agents or the belief consequences of the lies of other agents. We distinguish (i) an outside observer who is lying to an agent that is modelled in the system, ","authors_text":"Hans van Ditmarsch","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-08-10T07:55:15Z","title":"The Ditmarsch Tale of Wonders - The Dynamics of Lying"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.2115","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2693f40c7045b24a41fafb8a963d392ac60322785fd2cda07226689335321968","target":"record","created_at":"2026-05-18T03:59:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"9ac6631a410be5cd5e5ffac16166815ca9e26b8f302365287cadb15bc238c6f5","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-08-10T07:55:15Z","title_canon_sha256":"bd388bb61ffe5e4d17eeed1396f2dbe2698eedd12b209ecfc6b004146e645c61"},"schema_version":"1.0","source":{"id":"1108.2115","kind":"arxiv","version":2}},"canonical_sha256":"29617084d8ddf4e42de909d7074835ed4ea184d7954150c47cf143128af8473b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29617084d8ddf4e42de909d7074835ed4ea184d7954150c47cf143128af8473b","first_computed_at":"2026-05-18T03:59:38.143146Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:59:38.143146Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aZizw5skXfdrUgzXo+wLfFKaK8JhhSau8/DZguPhASzACGU3eEXsyXqjpXtsHxrE8i/j9UxGLhSyZty/OJaGCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:59:38.143822Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.2115","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2693f40c7045b24a41fafb8a963d392ac60322785fd2cda07226689335321968","sha256:a44f25c4ba39a6316ec648784976ed4c97b2d0505dc61ea6dbbcd0e51011b98d"],"state_sha256":"cd004f06373c9baf1d5fa1b11de84323c8f4a6b4b920b233606995c4c576b026"}