{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:FNFG3GSRAXHJWUMJFAI3T755FX","short_pith_number":"pith:FNFG3GSR","schema_version":"1.0","canonical_sha256":"2b4a6d9a5105ce9b51892811b9ffbd2dc5e735f041f5941bfefe94ff9e8b9e4e","source":{"kind":"arxiv","id":"1310.6406","version":1},"attestation_state":"computed","paper":{"title":"On the Complexity of Dynamic Epistemic Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Francois Schwarzentruber, Guillaume Aucher","submitted_at":"2013-10-23T22:03:27Z","abstract_excerpt":"Although Dynamic Epistemic Logic (DEL) is an influential logical framework for representing and reasoning about information change, little is known about the computational complexity of its associated decision problems. In fact, we only know that for public announcement logic, a fragment of DEL, the satisfiability problem and the model-checking problem are respectively PSPACE-complete and in P. We contribute to fill this gap by proving that for the DEL language with event models, the model-checking problem is, surprisingly, PSPACE-complete. Also, we prove that the satisfiability problem is NEX"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1310.6406","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-23T22:03:27Z","cross_cats_sorted":[],"title_canon_sha256":"90ca204d341f74367f0e6fce20e40f8e80d94c24f6e6664265a7b854edc1a4b6","abstract_canon_sha256":"768f2707fdc2e1c8c613ee4ce7aa78bc3b4b02399448c59b1319b70a8c16f798"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:08:48.382232Z","signature_b64":"njz8L6zsqcWZkFoVoC+V74qErp7dcStO+I218LigGrKABz41VHhqXKVxvSHfEBhytUscnM5hFsfaisewaVpgCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b4a6d9a5105ce9b51892811b9ffbd2dc5e735f041f5941bfefe94ff9e8b9e4e","last_reissued_at":"2026-05-18T03:08:48.381083Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:08:48.381083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Complexity of Dynamic Epistemic Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Francois Schwarzentruber, Guillaume Aucher","submitted_at":"2013-10-23T22:03:27Z","abstract_excerpt":"Although Dynamic Epistemic Logic (DEL) is an influential logical framework for representing and reasoning about information change, little is known about the computational complexity of its associated decision problems. In fact, we only know that for public announcement logic, a fragment of DEL, the satisfiability problem and the model-checking problem are respectively PSPACE-complete and in P. We contribute to fill this gap by proving that for the DEL language with event models, the model-checking problem is, surprisingly, PSPACE-complete. Also, we prove that the satisfiability problem is NEX"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.6406","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1310.6406","created_at":"2026-05-18T03:08:48.381696+00:00"},{"alias_kind":"arxiv_version","alias_value":"1310.6406v1","created_at":"2026-05-18T03:08:48.381696+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.6406","created_at":"2026-05-18T03:08:48.381696+00:00"},{"alias_kind":"pith_short_12","alias_value":"FNFG3GSRAXHJ","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_16","alias_value":"FNFG3GSRAXHJWUMJ","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_8","alias_value":"FNFG3GSR","created_at":"2026-05-18T12:27:45.050594+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FNFG3GSRAXHJWUMJFAI3T755FX","json":"https://pith.science/pith/FNFG3GSRAXHJWUMJFAI3T755FX.json","graph_json":"https://pith.science/api/pith-number/FNFG3GSRAXHJWUMJFAI3T755FX/graph.json","events_json":"https://pith.science/api/pith-number/FNFG3GSRAXHJWUMJFAI3T755FX/events.json","paper":"https://pith.science/paper/FNFG3GSR"},"agent_actions":{"view_html":"https://pith.science/pith/FNFG3GSRAXHJWUMJFAI3T755FX","download_json":"https://pith.science/pith/FNFG3GSRAXHJWUMJFAI3T755FX.json","view_paper":"https://pith.science/paper/FNFG3GSR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1310.6406&json=true","fetch_graph":"https://pith.science/api/pith-number/FNFG3GSRAXHJWUMJFAI3T755FX/graph.json","fetch_events":"https://pith.science/api/pith-number/FNFG3GSRAXHJWUMJFAI3T755FX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FNFG3GSRAXHJWUMJFAI3T755FX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FNFG3GSRAXHJWUMJFAI3T755FX/action/storage_attestation","attest_author":"https://pith.science/pith/FNFG3GSRAXHJWUMJFAI3T755FX/action/author_attestation","sign_citation":"https://pith.science/pith/FNFG3GSRAXHJWUMJFAI3T755FX/action/citation_signature","submit_replication":"https://pith.science/pith/FNFG3GSRAXHJWUMJFAI3T755FX/action/replication_record"}},"created_at":"2026-05-18T03:08:48.381696+00:00","updated_at":"2026-05-18T03:08:48.381696+00:00"}