{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:NTGXNZNXB5EKBZQKGMA6ORLXAO","short_pith_number":"pith:NTGXNZNX","schema_version":"1.0","canonical_sha256":"6ccd76e5b70f48a0e60a3301e7457703ab862b4cd5b0a30d9f96b4473f6a4d74","source":{"kind":"arxiv","id":"1707.05617","version":3},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1707.05617","created_at":"2026-05-18T00:05:14.602463+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.05617v3","created_at":"2026-05-18T00:05:14.602463+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05617","created_at":"2026-05-18T00:05:14.602463+00:00"},{"alias_kind":"pith_short_12","alias_value":"NTGXNZNXB5EK","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_16","alias_value":"NTGXNZNXB5EKBZQK","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_8","alias_value":"NTGXNZNX","created_at":"2026-05-18T12:31:34.259226+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/NTGXNZNXB5EKBZQKGMA6ORLXAO","json":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO.json","graph_json":"https://pith.science/api/pith-number/NTGXNZNXB5EKBZQKGMA6ORLXAO/graph.json","events_json":"https://pith.science/api/pith-number/NTGXNZNXB5EKBZQKGMA6ORLXAO/events.json","paper":"https://pith.science/paper/NTGXNZNX"},"agent_actions":{"view_html":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO","download_json":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO.json","view_paper":"https://pith.science/paper/NTGXNZNX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.05617&json=true","fetch_graph":"https://pith.science/api/pith-number/NTGXNZNXB5EKBZQKGMA6ORLXAO/graph.json","fetch_events":"https://pith.science/api/pith-number/NTGXNZNXB5EKBZQKGMA6ORLXAO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/action/storage_attestation","attest_author":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/action/author_attestation","sign_citation":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/action/citation_signature","submit_replication":"https://pith.science/pith/NTGXNZNXB5EKBZQKGMA6ORLXAO/action/replication_record"}},"created_at":"2026-05-18T00:05:14.602463+00:00","updated_at":"2026-05-18T00:05:14.602463+00:00"}