{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:NTGXNZNXB5EKBZQKGMA6ORLXAO","short_pith_number":"pith:NTGXNZNX","canonical_record":{"source":{"id":"1707.05617","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-07-18T13:59:19Z","cross_cats_sorted":[],"title_canon_sha256":"329e81ab56e75c3b57afa7736c76f4ed73a1e7c13daf2c35ce653f81dd2c5b2c","abstract_canon_sha256":"1ce16e66443486c7fa16ab3d5941ea37f19a279a174e469bb2a47e88c9c4406b"},"schema_version":"1.0"},"canonical_sha256":"6ccd76e5b70f48a0e60a3301e7457703ab862b4cd5b0a30d9f96b4473f6a4d74","source":{"kind":"arxiv","id":"1707.05617","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05617","created_at":"2026-05-18T00:05:14Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05617v3","created_at":"2026-05-18T00:05:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05617","created_at":"2026-05-18T00:05:14Z"},{"alias_kind":"pith_short_12","alias_value":"NTGXNZNXB5EK","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"NTGXNZNXB5EKBZQK","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"NTGXNZNX","created_at":"2026-05-18T12:31:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:NTGXNZNXB5EKBZQKGMA6ORLXAO","target":"record","payload":{"canonical_record":{"source":{"id":"1707.05617","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-07-18T13:59:19Z","cross_cats_sorted":[],"title_canon_sha256":"329e81ab56e75c3b57afa7736c76f4ed73a1e7c13daf2c35ce653f81dd2c5b2c","abstract_canon_sha256":"1ce16e66443486c7fa16ab3d5941ea37f19a279a174e469bb2a47e88c9c4406b"},"schema_version":"1.0"},"canonical_sha256":"6ccd76e5b70f48a0e60a3301e7457703ab862b4cd5b0a30d9f96b4473f6a4d74","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:14.602987Z","signature_b64":"c0TbbQHrPLSiO/b5DGAkezvfmzdkfBzRnrBjLTCBwU3dhJFpu+hgltdQ+TaJomGo/NJwpMbcBzOC0aQzArxTBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ccd76e5b70f48a0e60a3301e7457703ab862b4cd5b0a30d9f96b4473f6a4d74","last_reissued_at":"2026-05-18T00:05:14.602357Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:14.602357Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.05617","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:05:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"55KyK4bZsOFD97bMT6Aru7pJa7KGObdFIihOg7ApzHQn4GXoladtapgAfeR6LiA9hml/hgJIKQdvolBd0C0rAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T19:40:50.999528Z"},"content_sha256":"2e363c62773d32adb3bd146995a7fda41dbd3c35046091e9436acac997d22dee","schema_version":"1.0","event_id":"sha256:2e363c62773d32adb3bd146995a7fda41dbd3c35046091e9436acac997d22dee"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:NTGXNZNXB5EKBZQKGMA6ORLXAO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dynamic extensions for the logic of knowing why with public announcements of formulas","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Nicholas Pischke","submitted_at":"2017-07-18T13:59:19Z","abstract_excerpt":"In this paper, we address the logic of knowing why, an example of a non-standard epistemic logic dealing with justified knowledge via a new epistemic operator, under the extensions with ideas from dynamic epistemic logic, namely public announcements. Through the additional notions present in the knowing why context, we consider two possible variants, namely the extensions by (i): public announcements of a formula and by (ii): public announcements of reasons, although the deeper analysis of the latter is left for future work. We consider another logical operator, the conditional knowing-why ope"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05617","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:05:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fgRn+zM+tsKXcFJndmbb2Yoo1QNLXn0IimhqCW2YaMUc4pCkSNvjlhJc8BziRXF2iRCg1dgSE2qmWpAtsKRIBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T19:40:51.000156Z"},"content_sha256":"ab1ef738c0218abb6d98f9e2494818e0394b81e116c13c04c3dcc305768c2746","schema_version":"1.0","event_id":"sha256:ab1ef738c0218abb6d98f9e2494818e0394b81e116c13c04c3dcc305768c2746"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/bundle.json","state_url":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/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-26T19:40:51Z","links":{"resolver":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO","bundle":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/bundle.json","state":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NTGXNZNXB5EKBZQKGMA6ORLXAO","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":"1ce16e66443486c7fa16ab3d5941ea37f19a279a174e469bb2a47e88c9c4406b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-07-18T13:59:19Z","title_canon_sha256":"329e81ab56e75c3b57afa7736c76f4ed73a1e7c13daf2c35ce653f81dd2c5b2c"},"schema_version":"1.0","source":{"id":"1707.05617","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05617","created_at":"2026-05-18T00:05:14Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05617v3","created_at":"2026-05-18T00:05:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05617","created_at":"2026-05-18T00:05:14Z"},{"alias_kind":"pith_short_12","alias_value":"NTGXNZNXB5EK","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"NTGXNZNXB5EKBZQK","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"NTGXNZNX","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:ab1ef738c0218abb6d98f9e2494818e0394b81e116c13c04c3dcc305768c2746","target":"graph","created_at":"2026-05-18T00:05:14Z","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":"In this paper, we address the logic of knowing why, an example of a non-standard epistemic logic dealing with justified knowledge via a new epistemic operator, under the extensions with ideas from dynamic epistemic logic, namely public announcements. Through the additional notions present in the knowing why context, we consider two possible variants, namely the extensions by (i): public announcements of a formula and by (ii): public announcements of reasons, although the deeper analysis of the latter is left for future work. We consider another logical operator, the conditional knowing-why ope","authors_text":"Nicholas Pischke","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-07-18T13:59:19Z","title":"Dynamic extensions for the logic of knowing why with public announcements of formulas"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05617","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:2e363c62773d32adb3bd146995a7fda41dbd3c35046091e9436acac997d22dee","target":"record","created_at":"2026-05-18T00:05:14Z","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":"1ce16e66443486c7fa16ab3d5941ea37f19a279a174e469bb2a47e88c9c4406b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-07-18T13:59:19Z","title_canon_sha256":"329e81ab56e75c3b57afa7736c76f4ed73a1e7c13daf2c35ce653f81dd2c5b2c"},"schema_version":"1.0","source":{"id":"1707.05617","kind":"arxiv","version":3}},"canonical_sha256":"6ccd76e5b70f48a0e60a3301e7457703ab862b4cd5b0a30d9f96b4473f6a4d74","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ccd76e5b70f48a0e60a3301e7457703ab862b4cd5b0a30d9f96b4473f6a4d74","first_computed_at":"2026-05-18T00:05:14.602357Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:05:14.602357Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"c0TbbQHrPLSiO/b5DGAkezvfmzdkfBzRnrBjLTCBwU3dhJFpu+hgltdQ+TaJomGo/NJwpMbcBzOC0aQzArxTBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:05:14.602987Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.05617","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2e363c62773d32adb3bd146995a7fda41dbd3c35046091e9436acac997d22dee","sha256:ab1ef738c0218abb6d98f9e2494818e0394b81e116c13c04c3dcc305768c2746"],"state_sha256":"a8a76cc7b90b6837d3e18ed29553d9e3a4d66ba34bdb80b0c599ea437a1d0db3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"davepMx5II5KxV2kQmlN/IUJIVHXfx7wrzjdXTDNfgY7zRX2yXuDimKEfKYCmtri4Bm+ohsSNS7q2gcXKT+wBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T19:40:51.003373Z","bundle_sha256":"a7806c3dd48c1acce29183121677deb5a0c33d3504775e210b0657177e0758fa"}}