{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:Q5TC7H7WN4HBNR26ZQTXPYGAYG","short_pith_number":"pith:Q5TC7H7W","canonical_record":{"source":{"id":"1810.02769","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-10-03T14:49:25Z","cross_cats_sorted":[],"title_canon_sha256":"8be20a7f3c5d88cfee61395b984dd60a8a99a94ff31d0cbe6de759324bd3a4f8","abstract_canon_sha256":"0d630368dbfaaba4a59154c94a5de15cc2b25d5299f8770fbd64b4fee285407d"},"schema_version":"1.0"},"canonical_sha256":"87662f9ff66f0e16c75ecc2777e0c0c1b4d4fb5ee0ac3b0755a65bbe5d767286","source":{"kind":"arxiv","id":"1810.02769","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.02769","created_at":"2026-05-18T00:04:00Z"},{"alias_kind":"arxiv_version","alias_value":"1810.02769v1","created_at":"2026-05-18T00:04:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.02769","created_at":"2026-05-18T00:04:00Z"},{"alias_kind":"pith_short_12","alias_value":"Q5TC7H7WN4HB","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"Q5TC7H7WN4HBNR26","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"Q5TC7H7W","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:Q5TC7H7WN4HBNR26ZQTXPYGAYG","target":"record","payload":{"canonical_record":{"source":{"id":"1810.02769","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-10-03T14:49:25Z","cross_cats_sorted":[],"title_canon_sha256":"8be20a7f3c5d88cfee61395b984dd60a8a99a94ff31d0cbe6de759324bd3a4f8","abstract_canon_sha256":"0d630368dbfaaba4a59154c94a5de15cc2b25d5299f8770fbd64b4fee285407d"},"schema_version":"1.0"},"canonical_sha256":"87662f9ff66f0e16c75ecc2777e0c0c1b4d4fb5ee0ac3b0755a65bbe5d767286","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:00.699996Z","signature_b64":"HpEaTw5zVx90yT5KQXTeR07O9yUtppzyESJthbSWSVFKc5o1IACUt6TJOXEdjqB+/C9GYex/pREjiKPUfoVJCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"87662f9ff66f0e16c75ecc2777e0c0c1b4d4fb5ee0ac3b0755a65bbe5d767286","last_reissued_at":"2026-05-18T00:04:00.699452Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:00.699452Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.02769","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-05-18T00:04:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7EKXMSI7QmVGFa0zfW38ns8zXeWEQNZg31xNXMsb/Sou4esiAZEAf6J06vmWPZKYRZFupMv8g1Q7Uq/fFvuHDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:39:46.562305Z"},"content_sha256":"c65cba7afffa68fdc2c5f460a72d7804eea24b01db5e1fbdea081e41e3812f5b","schema_version":"1.0","event_id":"sha256:c65cba7afffa68fdc2c5f460a72d7804eea24b01db5e1fbdea081e41e3812f5b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:Q5TC7H7WN4HBNR26ZQTXPYGAYG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coalition and Group Announcement Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Natasha Alechina, Rustam Galimullin","submitted_at":"2018-10-03T14:49:25Z","abstract_excerpt":"Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years. Two notable examples of such logics are Group Announcement Logic and Coalition Announcement Logic. They allow us to reason about what groups of agents can achieve through joint announcements in non-competitive and competitive environments. In this paper, we consider a combination of these logics -- Coalition and Relativised Group Announcement Logic and provide its complete axiomatisation. Moreover, we partially answer the que"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.02769","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":""},"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:04:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ic2CIJcJISqRXI6OTg7KBMJSjPHz+ZYXWlGjepO3IOZIad4pJkXhWrqO50gNHqpXDmq1aQJSmjYlD8k9ZWm/Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:39:46.563012Z"},"content_sha256":"38e14766578fe72740ccf7c3131840f8947c057182126f4fa25ca8944a4561a5","schema_version":"1.0","event_id":"sha256:38e14766578fe72740ccf7c3131840f8947c057182126f4fa25ca8944a4561a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q5TC7H7WN4HBNR26ZQTXPYGAYG/bundle.json","state_url":"https://pith.science/pith/Q5TC7H7WN4HBNR26ZQTXPYGAYG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q5TC7H7WN4HBNR26ZQTXPYGAYG/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-26T18:39:46Z","links":{"resolver":"https://pith.science/pith/Q5TC7H7WN4HBNR26ZQTXPYGAYG","bundle":"https://pith.science/pith/Q5TC7H7WN4HBNR26ZQTXPYGAYG/bundle.json","state":"https://pith.science/pith/Q5TC7H7WN4HBNR26ZQTXPYGAYG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q5TC7H7WN4HBNR26ZQTXPYGAYG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:Q5TC7H7WN4HBNR26ZQTXPYGAYG","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":"0d630368dbfaaba4a59154c94a5de15cc2b25d5299f8770fbd64b4fee285407d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-10-03T14:49:25Z","title_canon_sha256":"8be20a7f3c5d88cfee61395b984dd60a8a99a94ff31d0cbe6de759324bd3a4f8"},"schema_version":"1.0","source":{"id":"1810.02769","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.02769","created_at":"2026-05-18T00:04:00Z"},{"alias_kind":"arxiv_version","alias_value":"1810.02769v1","created_at":"2026-05-18T00:04:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.02769","created_at":"2026-05-18T00:04:00Z"},{"alias_kind":"pith_short_12","alias_value":"Q5TC7H7WN4HB","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"Q5TC7H7WN4HBNR26","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"Q5TC7H7W","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:38e14766578fe72740ccf7c3131840f8947c057182126f4fa25ca8944a4561a5","target":"graph","created_at":"2026-05-18T00:04:00Z","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":"Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years. Two notable examples of such logics are Group Announcement Logic and Coalition Announcement Logic. They allow us to reason about what groups of agents can achieve through joint announcements in non-competitive and competitive environments. In this paper, we consider a combination of these logics -- Coalition and Relativised Group Announcement Logic and provide its complete axiomatisation. Moreover, we partially answer the que","authors_text":"Natasha Alechina, Rustam Galimullin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-10-03T14:49:25Z","title":"Coalition and Group Announcement Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.02769","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:c65cba7afffa68fdc2c5f460a72d7804eea24b01db5e1fbdea081e41e3812f5b","target":"record","created_at":"2026-05-18T00:04:00Z","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":"0d630368dbfaaba4a59154c94a5de15cc2b25d5299f8770fbd64b4fee285407d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-10-03T14:49:25Z","title_canon_sha256":"8be20a7f3c5d88cfee61395b984dd60a8a99a94ff31d0cbe6de759324bd3a4f8"},"schema_version":"1.0","source":{"id":"1810.02769","kind":"arxiv","version":1}},"canonical_sha256":"87662f9ff66f0e16c75ecc2777e0c0c1b4d4fb5ee0ac3b0755a65bbe5d767286","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"87662f9ff66f0e16c75ecc2777e0c0c1b4d4fb5ee0ac3b0755a65bbe5d767286","first_computed_at":"2026-05-18T00:04:00.699452Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:00.699452Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HpEaTw5zVx90yT5KQXTeR07O9yUtppzyESJthbSWSVFKc5o1IACUt6TJOXEdjqB+/C9GYex/pREjiKPUfoVJCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:00.699996Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.02769","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c65cba7afffa68fdc2c5f460a72d7804eea24b01db5e1fbdea081e41e3812f5b","sha256:38e14766578fe72740ccf7c3131840f8947c057182126f4fa25ca8944a4561a5"],"state_sha256":"5275334a43b0a4ffd9a1b5d533121642bbac5cc90d395dba0294a6c321e8c198"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HbyksUC6x1Fdi1chIsgkL5h0hUQ+K1gfab4l7zGthR8UjUVhJoPyjncx/Ka1U9pP0wjuan03yGUgG45DgExOBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T18:39:46.565751Z","bundle_sha256":"fa38dfd271049f8f42a268fd8f7ad941541670c39170e9ea3960d1f4561bbe76"}}