{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:WGLK2EFE335D7KIPLQRG5NL67F","short_pith_number":"pith:WGLK2EFE","canonical_record":{"source":{"id":"1605.01995","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-06T16:24:03Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"254fdf60a335ae5be1ea293f5c8f454f8a3efd630899f6531442be0369bd260c","abstract_canon_sha256":"d54a3fb5fd905a87bc7202b1719def0b95e2fe4baad9209caa3a79acb8540344"},"schema_version":"1.0"},"canonical_sha256":"b196ad10a4defa3fa90f5c226eb57ef957344ef4030093dda924159b348e5cdb","source":{"kind":"arxiv","id":"1605.01995","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.01995","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"arxiv_version","alias_value":"1605.01995v3","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.01995","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"pith_short_12","alias_value":"WGLK2EFE335D","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"WGLK2EFE335D7KIP","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"WGLK2EFE","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:WGLK2EFE335D7KIPLQRG5NL67F","target":"record","payload":{"canonical_record":{"source":{"id":"1605.01995","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-06T16:24:03Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"254fdf60a335ae5be1ea293f5c8f454f8a3efd630899f6531442be0369bd260c","abstract_canon_sha256":"d54a3fb5fd905a87bc7202b1719def0b95e2fe4baad9209caa3a79acb8540344"},"schema_version":"1.0"},"canonical_sha256":"b196ad10a4defa3fa90f5c226eb57ef957344ef4030093dda924159b348e5cdb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:57:04.525698Z","signature_b64":"w4gP4WFF/joGV4q2UMQJdWzqU72SLLtyfN4HQqVXbbAXYNn/LhgKUuWgKZyNfT/CZVBYH6N0npmBiC5ZfclgDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b196ad10a4defa3fa90f5c226eb57ef957344ef4030093dda924159b348e5cdb","last_reissued_at":"2026-05-18T00:57:04.525062Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:57:04.525062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.01995","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:57:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"16w1VacWlyqV//dFMxQaaL+Uw7WSPii3w/KQlmxMs35E577rVBJe0phT1s/GoBN0tWKhurwhoj/RuwelWrMmCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T02:08:35.144989Z"},"content_sha256":"a30521214b8acc3ed7f5ac81e0079f0baba26a3f1e6362677a5e7c1fadb8c12f","schema_version":"1.0","event_id":"sha256:a30521214b8acc3ed7f5ac81e0079f0baba26a3f1e6362677a5e7c1fadb8c12f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:WGLK2EFE335D7KIPLQRG5NL67F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Beyond knowing that: a new generation of epistemic logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Yanjing Wang","submitted_at":"2016-05-06T16:24:03Z","abstract_excerpt":"Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka (1962). Despite its various successful applications in theoretical computer science, AI, and game theory, the technical development of the field has been mainly focusing on the propositional part, i.e., the propositional modal logics of \"knowing that\". However, knowledge is expressed in everyday life by using various other locutions such as \"knowing whether\", \"knowing what\", \"knowing how\" and so on (knowing-wh hereafter). Such knowledge expressions are better captured in quantified ep"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.01995","kind":"arxiv","version":3},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:57:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KOJP22XO+RVuADnXyGRG+h5ozItMChumMcb1rV2K2lPYG6yMA4Jh8mEefJdnexo8oKr4+eMhSGUUsEu38/sSBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T02:08:35.145601Z"},"content_sha256":"d23578c33cdd4c378ed35859f1c970644744a0b60eae78817d27fc5a2ca3e16f","schema_version":"1.0","event_id":"sha256:d23578c33cdd4c378ed35859f1c970644744a0b60eae78817d27fc5a2ca3e16f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WGLK2EFE335D7KIPLQRG5NL67F/bundle.json","state_url":"https://pith.science/pith/WGLK2EFE335D7KIPLQRG5NL67F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WGLK2EFE335D7KIPLQRG5NL67F/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-31T02:08:35Z","links":{"resolver":"https://pith.science/pith/WGLK2EFE335D7KIPLQRG5NL67F","bundle":"https://pith.science/pith/WGLK2EFE335D7KIPLQRG5NL67F/bundle.json","state":"https://pith.science/pith/WGLK2EFE335D7KIPLQRG5NL67F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WGLK2EFE335D7KIPLQRG5NL67F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:WGLK2EFE335D7KIPLQRG5NL67F","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":"d54a3fb5fd905a87bc7202b1719def0b95e2fe4baad9209caa3a79acb8540344","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-06T16:24:03Z","title_canon_sha256":"254fdf60a335ae5be1ea293f5c8f454f8a3efd630899f6531442be0369bd260c"},"schema_version":"1.0","source":{"id":"1605.01995","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.01995","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"arxiv_version","alias_value":"1605.01995v3","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.01995","created_at":"2026-05-18T00:57:04Z"},{"alias_kind":"pith_short_12","alias_value":"WGLK2EFE335D","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"WGLK2EFE335D7KIP","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"WGLK2EFE","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:d23578c33cdd4c378ed35859f1c970644744a0b60eae78817d27fc5a2ca3e16f","target":"graph","created_at":"2026-05-18T00:57:04Z","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":"Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka (1962). Despite its various successful applications in theoretical computer science, AI, and game theory, the technical development of the field has been mainly focusing on the propositional part, i.e., the propositional modal logics of \"knowing that\". However, knowledge is expressed in everyday life by using various other locutions such as \"knowing whether\", \"knowing what\", \"knowing how\" and so on (knowing-wh hereafter). Such knowledge expressions are better captured in quantified ep","authors_text":"Yanjing Wang","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-06T16:24:03Z","title":"Beyond knowing that: a new generation of epistemic logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.01995","kind":"arxiv","version":3},"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:a30521214b8acc3ed7f5ac81e0079f0baba26a3f1e6362677a5e7c1fadb8c12f","target":"record","created_at":"2026-05-18T00:57:04Z","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":"d54a3fb5fd905a87bc7202b1719def0b95e2fe4baad9209caa3a79acb8540344","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-06T16:24:03Z","title_canon_sha256":"254fdf60a335ae5be1ea293f5c8f454f8a3efd630899f6531442be0369bd260c"},"schema_version":"1.0","source":{"id":"1605.01995","kind":"arxiv","version":3}},"canonical_sha256":"b196ad10a4defa3fa90f5c226eb57ef957344ef4030093dda924159b348e5cdb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b196ad10a4defa3fa90f5c226eb57ef957344ef4030093dda924159b348e5cdb","first_computed_at":"2026-05-18T00:57:04.525062Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:04.525062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"w4gP4WFF/joGV4q2UMQJdWzqU72SLLtyfN4HQqVXbbAXYNn/LhgKUuWgKZyNfT/CZVBYH6N0npmBiC5ZfclgDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:04.525698Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.01995","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a30521214b8acc3ed7f5ac81e0079f0baba26a3f1e6362677a5e7c1fadb8c12f","sha256:d23578c33cdd4c378ed35859f1c970644744a0b60eae78817d27fc5a2ca3e16f"],"state_sha256":"d424ede5727c070803e1e30a5dbc7115e5f8d424a4fa5a8898686a7475071647"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JL9hd2i21Trxz4NXCUwPOnENsl37tDXgnGYQFJ2n9zLdNht/aaSiGJAZR2JNI+qzfL5V6Uf3Y+QLgZOtKcM4Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T02:08:35.148202Z","bundle_sha256":"ded40879fb12a7e401511fef882ac4e390ceaeea4d28e7c5d2027404057a4891"}}