{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:VOEAZIBXRR3F3SQWYY5PYWE2NA","short_pith_number":"pith:VOEAZIBX","canonical_record":{"source":{"id":"2606.31886","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2026-06-30T16:00:53Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b0a2131822c9dc1ac03d7fa427f33e3148b68158857da690c216c249eb125ab4","abstract_canon_sha256":"df3539b857f2a63ac584288e6390e03ec21da755a76bab18a96f34ee43f42de0"},"schema_version":"1.0"},"canonical_sha256":"ab880ca0378c765dca16c63afc589a680723e36bde0dfd9a7dfcd01736c724f0","source":{"kind":"arxiv","id":"2606.31886","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31886","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31886v1","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31886","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"VOEAZIBXRR3F","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_16","alias_value":"VOEAZIBXRR3F3SQW","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_8","alias_value":"VOEAZIBX","created_at":"2026-07-01T01:18:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:VOEAZIBXRR3F3SQWYY5PYWE2NA","target":"record","payload":{"canonical_record":{"source":{"id":"2606.31886","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2026-06-30T16:00:53Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b0a2131822c9dc1ac03d7fa427f33e3148b68158857da690c216c249eb125ab4","abstract_canon_sha256":"df3539b857f2a63ac584288e6390e03ec21da755a76bab18a96f34ee43f42de0"},"schema_version":"1.0"},"canonical_sha256":"ab880ca0378c765dca16c63afc589a680723e36bde0dfd9a7dfcd01736c724f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-01T01:18:18.451593Z","signature_b64":"I5lQRvsVj9ZHy/tLvzVcPGm82/JbraGaUmGB/4s2mDm9pbaEMGhBHtp06cqYqGAiFUMUv6GWN1GgsFl/G7V3DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab880ca0378c765dca16c63afc589a680723e36bde0dfd9a7dfcd01736c724f0","last_reissued_at":"2026-07-01T01:18:18.451065Z","signature_status":"signed_v1","first_computed_at":"2026-07-01T01:18:18.451065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.31886","source_version":1,"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-07-01T01:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qTZ4T/NtW0CyhU4QdHocDwX/LFqxvJKXrJzRFnOcZjAnAIduJHnDKAsVtWTVzEc4kD7yymnElktvwMZDXX1tDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T09:51:13.940307Z"},"content_sha256":"6d677188fb5629d904af52148f946e6eaef9eba84a15fda8546e1243c02bd67f","schema_version":"1.0","event_id":"sha256:6d677188fb5629d904af52148f946e6eaef9eba84a15fda8546e1243c02bd67f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:VOEAZIBXRR3F3SQWYY5PYWE2NA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Analytic Cut in Epistemic Logics with Distributed Knowledge","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.MA","authors_text":"Katsuhiko Sano (Hokkaido University), Ryo Murai (Independent Researcher), Sizhuo Liu (Hokkaido University)","submitted_at":"2026-06-30T16:00:53Z","abstract_excerpt":"Distributed knowledge is a notion of group knowledge studied in multi-agent epistemic logic. Semantically, the distributed knowledge of a group is interpreted via an accessibility relation given by the intersection of the epistemic accessibility relations of the agents in that group. This paper investigates sequent calculi for epistemic logics of distributed knowledge based on K45, KD45, and S5. While cut elimination holds in existing sequent calculi for modal logics K45 and KD45, it fails in all the systems mentioned above. Instead, we establish the analytic cut property for all three systems"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31886","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.31886/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-01T01:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZOAnVl0MlW389+J/32/AAXlNG+xQx+ZbgBgR9h/DrBzt0TYLfCju+RZmdjTQ1+Nu6vFDmhRA7F2fzTeobFqGDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T09:51:13.940707Z"},"content_sha256":"b25a5527ae3d6f0c2895d15aee5e3fa37484acc8b428ca8e4228cfedfe840f21","schema_version":"1.0","event_id":"sha256:b25a5527ae3d6f0c2895d15aee5e3fa37484acc8b428ca8e4228cfedfe840f21"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VOEAZIBXRR3F3SQWYY5PYWE2NA/bundle.json","state_url":"https://pith.science/pith/VOEAZIBXRR3F3SQWYY5PYWE2NA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VOEAZIBXRR3F3SQWYY5PYWE2NA/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-07-02T09:51:13Z","links":{"resolver":"https://pith.science/pith/VOEAZIBXRR3F3SQWYY5PYWE2NA","bundle":"https://pith.science/pith/VOEAZIBXRR3F3SQWYY5PYWE2NA/bundle.json","state":"https://pith.science/pith/VOEAZIBXRR3F3SQWYY5PYWE2NA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VOEAZIBXRR3F3SQWYY5PYWE2NA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VOEAZIBXRR3F3SQWYY5PYWE2NA","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":"df3539b857f2a63ac584288e6390e03ec21da755a76bab18a96f34ee43f42de0","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2026-06-30T16:00:53Z","title_canon_sha256":"b0a2131822c9dc1ac03d7fa427f33e3148b68158857da690c216c249eb125ab4"},"schema_version":"1.0","source":{"id":"2606.31886","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31886","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31886v1","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31886","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"VOEAZIBXRR3F","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_16","alias_value":"VOEAZIBXRR3F3SQW","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_8","alias_value":"VOEAZIBX","created_at":"2026-07-01T01:18:18Z"}],"graph_snapshots":[{"event_id":"sha256:b25a5527ae3d6f0c2895d15aee5e3fa37484acc8b428ca8e4228cfedfe840f21","target":"graph","created_at":"2026-07-01T01:18:18Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.31886/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Distributed knowledge is a notion of group knowledge studied in multi-agent epistemic logic. Semantically, the distributed knowledge of a group is interpreted via an accessibility relation given by the intersection of the epistemic accessibility relations of the agents in that group. This paper investigates sequent calculi for epistemic logics of distributed knowledge based on K45, KD45, and S5. While cut elimination holds in existing sequent calculi for modal logics K45 and KD45, it fails in all the systems mentioned above. Instead, we establish the analytic cut property for all three systems","authors_text":"Katsuhiko Sano (Hokkaido University), Ryo Murai (Independent Researcher), Sizhuo Liu (Hokkaido University)","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2026-06-30T16:00:53Z","title":"Analytic Cut in Epistemic Logics with Distributed Knowledge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31886","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:6d677188fb5629d904af52148f946e6eaef9eba84a15fda8546e1243c02bd67f","target":"record","created_at":"2026-07-01T01:18:18Z","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":"df3539b857f2a63ac584288e6390e03ec21da755a76bab18a96f34ee43f42de0","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2026-06-30T16:00:53Z","title_canon_sha256":"b0a2131822c9dc1ac03d7fa427f33e3148b68158857da690c216c249eb125ab4"},"schema_version":"1.0","source":{"id":"2606.31886","kind":"arxiv","version":1}},"canonical_sha256":"ab880ca0378c765dca16c63afc589a680723e36bde0dfd9a7dfcd01736c724f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab880ca0378c765dca16c63afc589a680723e36bde0dfd9a7dfcd01736c724f0","first_computed_at":"2026-07-01T01:18:18.451065Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T01:18:18.451065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"I5lQRvsVj9ZHy/tLvzVcPGm82/JbraGaUmGB/4s2mDm9pbaEMGhBHtp06cqYqGAiFUMUv6GWN1GgsFl/G7V3DQ==","signature_status":"signed_v1","signed_at":"2026-07-01T01:18:18.451593Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.31886","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6d677188fb5629d904af52148f946e6eaef9eba84a15fda8546e1243c02bd67f","sha256:b25a5527ae3d6f0c2895d15aee5e3fa37484acc8b428ca8e4228cfedfe840f21"],"state_sha256":"79572f5995802fe6c2554abd1d752570a4c9343489ecd28d917ff86c60c33c51"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"THYIIRmAFTPKLYyVWqDkfnDpfl3UMMKY9MukqMd/rMv9wKq1V5AzqoFxVKwWZtX6IsN19+tSEAyKeTTPFJkuDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T09:51:13.942706Z","bundle_sha256":"7436ba2d61751283dc7f7141ed1dcfd11645105f0ffddd7e0993ebeb64ebde6d"}}