{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:CXW2V5GFJ6IA6IZVL2NEKQHVW6","short_pith_number":"pith:CXW2V5GF","canonical_record":{"source":{"id":"2412.15135","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-12-19T18:17:04Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"03ba3e282d761426293b313b5afd3bdb160a8028b81f475d97f1484e2483d416","abstract_canon_sha256":"77b2f75574e1ed6de6cfe4612031f36120d17f663c91cb053d633d3c1dce6baa"},"schema_version":"1.0"},"canonical_sha256":"15edaaf4c54f900f23355e9a4540f5b7a707689f428b45f57d76be1fba7ac13f","source":{"kind":"arxiv","id":"2412.15135","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.15135","created_at":"2026-07-05T09:56:57Z"},{"alias_kind":"arxiv_version","alias_value":"2412.15135v3","created_at":"2026-07-05T09:56:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.15135","created_at":"2026-07-05T09:56:57Z"},{"alias_kind":"pith_short_12","alias_value":"CXW2V5GFJ6IA","created_at":"2026-07-05T09:56:57Z"},{"alias_kind":"pith_short_16","alias_value":"CXW2V5GFJ6IA6IZV","created_at":"2026-07-05T09:56:57Z"},{"alias_kind":"pith_short_8","alias_value":"CXW2V5GF","created_at":"2026-07-05T09:56:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:CXW2V5GFJ6IA6IZVL2NEKQHVW6","target":"record","payload":{"canonical_record":{"source":{"id":"2412.15135","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-12-19T18:17:04Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"03ba3e282d761426293b313b5afd3bdb160a8028b81f475d97f1484e2483d416","abstract_canon_sha256":"77b2f75574e1ed6de6cfe4612031f36120d17f663c91cb053d633d3c1dce6baa"},"schema_version":"1.0"},"canonical_sha256":"15edaaf4c54f900f23355e9a4540f5b7a707689f428b45f57d76be1fba7ac13f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:56:57.882089Z","signature_b64":"3ngGCfQJdoUgYwbb/E4Ryn1VB4GRUzSmRSsvpAoo4TdLZC0gbqlm9upmngtUzBY2rd/dlOcsqhN8MoCGS+dWBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15edaaf4c54f900f23355e9a4540f5b7a707689f428b45f57d76be1fba7ac13f","last_reissued_at":"2026-07-05T09:56:57.881623Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:56:57.881623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.15135","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-07-05T09:56:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qfwCu95xMDNkx9aBIWGGqQ40lbYqoeqkL3HxaL5Gt/G1yDvr49ujm09/4hMjhgwPO/T+yAAC8jOBWm+9saJ3DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T04:09:36.286906Z"},"content_sha256":"a25f62507185b60890bd2b7d7a19ebd35329b53d53caee20a81b1ce188f92974","schema_version":"1.0","event_id":"sha256:a25f62507185b60890bd2b7d7a19ebd35329b53d53caee20a81b1ce188f92974"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:CXW2V5GFJ6IA6IZVL2NEKQHVW6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic Strategy Logic with Degrees of Observability","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Brian Logan, Chunyan Mu, Natasha Alechina, Nima Motamed","submitted_at":"2024-12-19T18:17:04Z","abstract_excerpt":"There has been considerable work on reasoning about the strategic ability of agents under imperfect information. However, existing logics such as Probabilistic Strategy Logic are unable to express properties relating to information transparency. Information transparency concerns the extent to which agents' actions and behaviours are observable by other agents. Reasoning about information transparency is useful in many domains including security, privacy, and decision-making. In this paper, we present a formal framework for reasoning about information transparency properties in stochastic multi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.15135","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.15135/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-05T09:56:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/YrswFxr5uBAaFaTQhK0aEym7YzKtoeRI6LAvupOk2JFIX23PRJvKxR61lg7Kmo86b/GCvuMr474DLwMw8aaDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T04:09:36.287464Z"},"content_sha256":"9b0719765a027b2a519d4472a1f23762f0262bd254120ed8e3ca8a63c92924ea","schema_version":"1.0","event_id":"sha256:9b0719765a027b2a519d4472a1f23762f0262bd254120ed8e3ca8a63c92924ea"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CXW2V5GFJ6IA6IZVL2NEKQHVW6/bundle.json","state_url":"https://pith.science/pith/CXW2V5GFJ6IA6IZVL2NEKQHVW6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CXW2V5GFJ6IA6IZVL2NEKQHVW6/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-08-19T04:09:36Z","links":{"resolver":"https://pith.science/pith/CXW2V5GFJ6IA6IZVL2NEKQHVW6","bundle":"https://pith.science/pith/CXW2V5GFJ6IA6IZVL2NEKQHVW6/bundle.json","state":"https://pith.science/pith/CXW2V5GFJ6IA6IZVL2NEKQHVW6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CXW2V5GFJ6IA6IZVL2NEKQHVW6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:CXW2V5GFJ6IA6IZVL2NEKQHVW6","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":"77b2f75574e1ed6de6cfe4612031f36120d17f663c91cb053d633d3c1dce6baa","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-12-19T18:17:04Z","title_canon_sha256":"03ba3e282d761426293b313b5afd3bdb160a8028b81f475d97f1484e2483d416"},"schema_version":"1.0","source":{"id":"2412.15135","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.15135","created_at":"2026-07-05T09:56:57Z"},{"alias_kind":"arxiv_version","alias_value":"2412.15135v3","created_at":"2026-07-05T09:56:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.15135","created_at":"2026-07-05T09:56:57Z"},{"alias_kind":"pith_short_12","alias_value":"CXW2V5GFJ6IA","created_at":"2026-07-05T09:56:57Z"},{"alias_kind":"pith_short_16","alias_value":"CXW2V5GFJ6IA6IZV","created_at":"2026-07-05T09:56:57Z"},{"alias_kind":"pith_short_8","alias_value":"CXW2V5GF","created_at":"2026-07-05T09:56:57Z"}],"graph_snapshots":[{"event_id":"sha256:9b0719765a027b2a519d4472a1f23762f0262bd254120ed8e3ca8a63c92924ea","target":"graph","created_at":"2026-07-05T09:56:57Z","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/2412.15135/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"There has been considerable work on reasoning about the strategic ability of agents under imperfect information. However, existing logics such as Probabilistic Strategy Logic are unable to express properties relating to information transparency. Information transparency concerns the extent to which agents' actions and behaviours are observable by other agents. Reasoning about information transparency is useful in many domains including security, privacy, and decision-making. In this paper, we present a formal framework for reasoning about information transparency properties in stochastic multi","authors_text":"Brian Logan, Chunyan Mu, Natasha Alechina, Nima Motamed","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.15135","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:a25f62507185b60890bd2b7d7a19ebd35329b53d53caee20a81b1ce188f92974","target":"record","created_at":"2026-07-05T09:56:57Z","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":"77b2f75574e1ed6de6cfe4612031f36120d17f663c91cb053d633d3c1dce6baa","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-12-19T18:17:04Z","title_canon_sha256":"03ba3e282d761426293b313b5afd3bdb160a8028b81f475d97f1484e2483d416"},"schema_version":"1.0","source":{"id":"2412.15135","kind":"arxiv","version":3}},"canonical_sha256":"15edaaf4c54f900f23355e9a4540f5b7a707689f428b45f57d76be1fba7ac13f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15edaaf4c54f900f23355e9a4540f5b7a707689f428b45f57d76be1fba7ac13f","first_computed_at":"2026-07-05T09:56:57.881623Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:56:57.881623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3ngGCfQJdoUgYwbb/E4Ryn1VB4GRUzSmRSsvpAoo4TdLZC0gbqlm9upmngtUzBY2rd/dlOcsqhN8MoCGS+dWBw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:56:57.882089Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.15135","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a25f62507185b60890bd2b7d7a19ebd35329b53d53caee20a81b1ce188f92974","sha256:9b0719765a027b2a519d4472a1f23762f0262bd254120ed8e3ca8a63c92924ea"],"state_sha256":"f9168238c0d87c0aa79778aaecd8b9e7d5c2338a550d89f6189f186437cfce15"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vC4rVw/e9v3UxGFBDlzgsRUz+V1aYAg2WPz01Vv8zPzzSdsZX8Ftiml+ppHTWJNLUVt+x7it0vLxLZTjdCiUCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T04:09:36.296834Z","bundle_sha256":"13d52ad4bce9f75f39678ef2dd138c8587199f1a15914aad8e8f0e28bb6cdc55"}}