{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:GKC24VTIFWNS35XVMSGCP2T6LF","short_pith_number":"pith:GKC24VTI","canonical_record":{"source":{"id":"1404.0841","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:38:34Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ed5adecf34c2d27e4ca186e0f1c4da9fda6e485e64c73fdfaef4715d058cd47d","abstract_canon_sha256":"c903b93a7524b533c6af86b5c851b85cf786fb59213f2a680e171501c641b652"},"schema_version":"1.0"},"canonical_sha256":"3285ae56682d9b2df6f5648c27ea7e5959722a6bcae9484481d00b08b37ff20a","source":{"kind":"arxiv","id":"1404.0841","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0841","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0841v1","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0841","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"pith_short_12","alias_value":"GKC24VTIFWNS","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"GKC24VTIFWNS35XV","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"GKC24VTI","created_at":"2026-05-18T12:28:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:GKC24VTIFWNS35XVMSGCP2T6LF","target":"record","payload":{"canonical_record":{"source":{"id":"1404.0841","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:38:34Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ed5adecf34c2d27e4ca186e0f1c4da9fda6e485e64c73fdfaef4715d058cd47d","abstract_canon_sha256":"c903b93a7524b533c6af86b5c851b85cf786fb59213f2a680e171501c641b652"},"schema_version":"1.0"},"canonical_sha256":"3285ae56682d9b2df6f5648c27ea7e5959722a6bcae9484481d00b08b37ff20a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:54:55.318502Z","signature_b64":"mMSV/AbxHtnN+wnvN66el/whFampNsHy28r6mum9Isg5VDK/4sq4m+Mlh06AeLcI+BncvPL7dw+uiZ4RVeLADw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3285ae56682d9b2df6f5648c27ea7e5959722a6bcae9484481d00b08b37ff20a","last_reissued_at":"2026-05-18T02:54:55.317934Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:54:55.317934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.0841","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-18T02:54:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vvZ/5ZwOUfAmBZT6frkz0QmNYAGJmdU/9EEMAUQ7B5m1Mjdj6DnOj0yJpCEZwnp+ni+eCM0uNWFBtnmhXkM7Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T09:39:00.592184Z"},"content_sha256":"85d1462b9e5508a145e9f14c3924246995ea0427dc7e58825c882482dc9baf73","schema_version":"1.0","event_id":"sha256:85d1462b9e5508a145e9f14c3924246995ea0427dc7e58825c882482dc9baf73"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:GKC24VTIFWNS35XVMSGCP2T6LF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Resolution Prover for Coalition Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Brazil), Business, China), Clare Dixon (Department of Computer Science, Cl\\'audia Nalon (Department of Computer Science, Lan Zhang (Information School Capital University of Economics, UK), Ullrich Hustadt (Department of Computer Science, University of Bras\\'ilia, University of Liverpool","submitted_at":"2014-04-03T10:38:34Z","abstract_excerpt":"We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and present the results for a comparison with an existing tableau-based solver."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0841","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-18T02:54:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Srh/0urEiOpFmEUk43gqZbYdIPwlN2gT5pPh3dPKEp5q7ctSLI4AKnPYpLGh5PqxiinZM9UsQo8KPHGb1TSCCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T09:39:00.592531Z"},"content_sha256":"decdd9d7d14ea7e3058b7f0fc3db4cef0ebbaf5fe753de93b0f558ad7e647e4d","schema_version":"1.0","event_id":"sha256:decdd9d7d14ea7e3058b7f0fc3db4cef0ebbaf5fe753de93b0f558ad7e647e4d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GKC24VTIFWNS35XVMSGCP2T6LF/bundle.json","state_url":"https://pith.science/pith/GKC24VTIFWNS35XVMSGCP2T6LF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GKC24VTIFWNS35XVMSGCP2T6LF/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-06-09T09:39:00Z","links":{"resolver":"https://pith.science/pith/GKC24VTIFWNS35XVMSGCP2T6LF","bundle":"https://pith.science/pith/GKC24VTIFWNS35XVMSGCP2T6LF/bundle.json","state":"https://pith.science/pith/GKC24VTIFWNS35XVMSGCP2T6LF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GKC24VTIFWNS35XVMSGCP2T6LF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:GKC24VTIFWNS35XVMSGCP2T6LF","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":"c903b93a7524b533c6af86b5c851b85cf786fb59213f2a680e171501c641b652","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:38:34Z","title_canon_sha256":"ed5adecf34c2d27e4ca186e0f1c4da9fda6e485e64c73fdfaef4715d058cd47d"},"schema_version":"1.0","source":{"id":"1404.0841","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0841","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0841v1","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0841","created_at":"2026-05-18T02:54:55Z"},{"alias_kind":"pith_short_12","alias_value":"GKC24VTIFWNS","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"GKC24VTIFWNS35XV","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"GKC24VTI","created_at":"2026-05-18T12:28:30Z"}],"graph_snapshots":[{"event_id":"sha256:decdd9d7d14ea7e3058b7f0fc3db4cef0ebbaf5fe753de93b0f558ad7e647e4d","target":"graph","created_at":"2026-05-18T02:54:55Z","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":"We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and present the results for a comparison with an existing tableau-based solver.","authors_text":"Brazil), Business, China), Clare Dixon (Department of Computer Science, Cl\\'audia Nalon (Department of Computer Science, Lan Zhang (Information School Capital University of Economics, UK), Ullrich Hustadt (Department of Computer Science, University of Bras\\'ilia, University of Liverpool","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:38:34Z","title":"A Resolution Prover for Coalition Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0841","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:85d1462b9e5508a145e9f14c3924246995ea0427dc7e58825c882482dc9baf73","target":"record","created_at":"2026-05-18T02:54:55Z","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":"c903b93a7524b533c6af86b5c851b85cf786fb59213f2a680e171501c641b652","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:38:34Z","title_canon_sha256":"ed5adecf34c2d27e4ca186e0f1c4da9fda6e485e64c73fdfaef4715d058cd47d"},"schema_version":"1.0","source":{"id":"1404.0841","kind":"arxiv","version":1}},"canonical_sha256":"3285ae56682d9b2df6f5648c27ea7e5959722a6bcae9484481d00b08b37ff20a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3285ae56682d9b2df6f5648c27ea7e5959722a6bcae9484481d00b08b37ff20a","first_computed_at":"2026-05-18T02:54:55.317934Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:54:55.317934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mMSV/AbxHtnN+wnvN66el/whFampNsHy28r6mum9Isg5VDK/4sq4m+Mlh06AeLcI+BncvPL7dw+uiZ4RVeLADw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:54:55.318502Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.0841","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85d1462b9e5508a145e9f14c3924246995ea0427dc7e58825c882482dc9baf73","sha256:decdd9d7d14ea7e3058b7f0fc3db4cef0ebbaf5fe753de93b0f558ad7e647e4d"],"state_sha256":"2a46e114f2ce9cc9f20bbb2c6bc6927ce9fa2740120426ca6d0288ed81e7da32"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RPCyga353PfEBnoND7QueuzpUGhUJUpMduYKKofpkM2sFFJ0WpsheqIS3BB2+wIYwx31o3wZY/47kL9N/nvUDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T09:39:00.594486Z","bundle_sha256":"dade38e43ff6fe62efd71d52e7185770be0cf037f125aa25dc2b129cb80f65ff"}}