{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:3YDW2GMVIM5VHFFEVQA3HX7GKB","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":"dc17da8ab990d540daef26a449afc84f95e043fa98a4f33f6b047e3d68ad11ec","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-23T22:06:16Z","title_canon_sha256":"c1d2e00d10fca77289a58da45d89d02101788222594932b738a5a0475eaffa7d"},"schema_version":"1.0","source":{"id":"1310.6410","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.6410","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"arxiv_version","alias_value":"1310.6410v1","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.6410","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"pith_short_12","alias_value":"3YDW2GMVIM5V","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_16","alias_value":"3YDW2GMVIM5VHFFE","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_8","alias_value":"3YDW2GMV","created_at":"2026-05-18T12:27:32Z"}],"graph_snapshots":[{"event_id":"sha256:3646c1c25853701cc682e197677d0a857b189d3b76896c964277ea8d06627812","target":"graph","created_at":"2026-05-18T03:08:48Z","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 compare different epistemic notions in the presence of awareness of propositional variables: the logics of implicit knowledge (in which explicit knowledge is definable), explicit knowledge, and speculative knowledge. Different notions of bisimulation are suitable for these logics. We provide correspondence between bisimulation and modal equivalence on image-finite models for these logics. The logic of speculative knowledge is equally expressive as the logic of explicit knowledge, and the logic of implicit knowledge is more expressive than both. We also provide axiomatizations for the three ","authors_text":"Fernando R. Velazquez-Quesada, Hans van Ditmarsch, Tim French, Yi N. Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-23T22:06:16Z","title":"Knowledge, Awareness, and Bisimulation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.6410","kind":"arxiv","version":1},"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:3e834c836dfa015532abfb1e409c1e282c017952b34349eb6a63c0f4b427c212","target":"record","created_at":"2026-05-18T03:08:48Z","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":"dc17da8ab990d540daef26a449afc84f95e043fa98a4f33f6b047e3d68ad11ec","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-23T22:06:16Z","title_canon_sha256":"c1d2e00d10fca77289a58da45d89d02101788222594932b738a5a0475eaffa7d"},"schema_version":"1.0","source":{"id":"1310.6410","kind":"arxiv","version":1}},"canonical_sha256":"de076d1995433b5394a4ac01b3dfe65078c7b34b52f38c463bd90d2f13d3591b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"de076d1995433b5394a4ac01b3dfe65078c7b34b52f38c463bd90d2f13d3591b","first_computed_at":"2026-05-18T03:08:48.306220Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:48.306220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wzw8yZyL9E79S63XJduwBc2UTB8aPq1B/I8sKKvUfJ2E5XRNTIWbnpFeZFTmvxszaFfGxSdzCK1XslYfBd/sAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:48.306873Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.6410","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3e834c836dfa015532abfb1e409c1e282c017952b34349eb6a63c0f4b427c212","sha256:3646c1c25853701cc682e197677d0a857b189d3b76896c964277ea8d06627812"],"state_sha256":"0ba367bbd145acee527ab2b4ef0b6ca734731b5932e9b97afac01f7c985e9273"}