{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:E6K4VVKOIZUNSLOSBSR7GMHXTD","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":"4001601f7a331abf42ba72d206d1c7c69e7c41ee848b37aba6c5a3da1224deff","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-03-21T16:23:42Z","title_canon_sha256":"fb4d442d31dfd58de2d196e5d3e9f4bca382e21f9b8a5bc0b9a06d4cc2739161"},"schema_version":"1.0","source":{"id":"2303.11993","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.11993","created_at":"2026-06-23T01:12:43Z"},{"alias_kind":"arxiv_version","alias_value":"2303.11993v2","created_at":"2026-06-23T01:12:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.11993","created_at":"2026-06-23T01:12:43Z"},{"alias_kind":"pith_short_12","alias_value":"E6K4VVKOIZUN","created_at":"2026-06-23T01:12:43Z"},{"alias_kind":"pith_short_16","alias_value":"E6K4VVKOIZUNSLOS","created_at":"2026-06-23T01:12:43Z"},{"alias_kind":"pith_short_8","alias_value":"E6K4VVKO","created_at":"2026-06-23T01:12:43Z"}],"graph_snapshots":[{"event_id":"sha256:048f01164bede6817a49e8e635f71149dec3a455e21544b508415305728a0953","target":"graph","created_at":"2026-06-23T01:12:43Z","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/2303.11993/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Causal multiteam semantics is a framework where probabilistic dependencies arising from data and causation between variables can be formalized together and studied logically. We discover complete characterizations of expressivity for several logics that can express probabilistic statements, conditioning and interventionist counterfactuals. The results characterize the languages in terms of families of linear inequalities and closure conditions that define the corresponding classes of causal multiteams; we find that the strict tensor disjunction, an operator typical of team semantics but absent","authors_text":"Fausto Barbero, Jonni Virtema","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-03-21T16:23:42Z","title":"Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.11993","kind":"arxiv","version":2},"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:45a13354b50e741a4222fb8e0c80292b80fbf804c85ab5f5c1f6361b1d0c2a04","target":"record","created_at":"2026-06-23T01:12:43Z","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":"4001601f7a331abf42ba72d206d1c7c69e7c41ee848b37aba6c5a3da1224deff","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-03-21T16:23:42Z","title_canon_sha256":"fb4d442d31dfd58de2d196e5d3e9f4bca382e21f9b8a5bc0b9a06d4cc2739161"},"schema_version":"1.0","source":{"id":"2303.11993","kind":"arxiv","version":2}},"canonical_sha256":"2795cad54e4668d92dd20ca3f330f798c124886e59d75f7900130b1151bfc32d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2795cad54e4668d92dd20ca3f330f798c124886e59d75f7900130b1151bfc32d","first_computed_at":"2026-06-23T01:12:43.410644Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T01:12:43.410644Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"f2wU7y1ew6PS3qhH7QDl+Ay4S68orgDm7n2Q6Lw98+EjA1g/nXObPKUaiK8tbHNnXxGbM7f9Uu9d8Xf31OlpAw==","signature_status":"signed_v1","signed_at":"2026-06-23T01:12:43.411233Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.11993","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:45a13354b50e741a4222fb8e0c80292b80fbf804c85ab5f5c1f6361b1d0c2a04","sha256:048f01164bede6817a49e8e635f71149dec3a455e21544b508415305728a0953"],"state_sha256":"6c766e93e8f5489a53968465f58effd3fc3a01dba399bdccbdf069d566d07da3"}