{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:X5S3K5KMK27JKZ73QS6I54SKJP","short_pith_number":"pith:X5S3K5KM","canonical_record":{"source":{"id":"2606.31860","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:53:39Z","cross_cats_sorted":[],"title_canon_sha256":"2f35ba98743a1992e4d05e0be19bb78f8aa7a7a1cb58d031cb165eaa94711bf9","abstract_canon_sha256":"99f5e96f0860ca26774ac50df35d6295779ee3fd8b03ec7a826ad59bc758e07e"},"schema_version":"1.0"},"canonical_sha256":"bf65b5754c56be9567fb84bc8ef24a4bd2003ff46cbac3cb706e0208117e55e9","source":{"kind":"arxiv","id":"2606.31860","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31860","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31860v1","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31860","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_12","alias_value":"X5S3K5KMK27J","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_16","alias_value":"X5S3K5KMK27JKZ73","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_8","alias_value":"X5S3K5KM","created_at":"2026-07-01T01:18:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:X5S3K5KMK27JKZ73QS6I54SKJP","target":"record","payload":{"canonical_record":{"source":{"id":"2606.31860","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:53:39Z","cross_cats_sorted":[],"title_canon_sha256":"2f35ba98743a1992e4d05e0be19bb78f8aa7a7a1cb58d031cb165eaa94711bf9","abstract_canon_sha256":"99f5e96f0860ca26774ac50df35d6295779ee3fd8b03ec7a826ad59bc758e07e"},"schema_version":"1.0"},"canonical_sha256":"bf65b5754c56be9567fb84bc8ef24a4bd2003ff46cbac3cb706e0208117e55e9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-01T01:18:17.763023Z","signature_b64":"PvjBgHjTTx61mPO79FOmqJfbUUSZkAI8pKnGXwqHBKdMDpsSt5lgC4CCpksx6Kd4ftFUn5sVivb4AMw0kbB1BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bf65b5754c56be9567fb84bc8ef24a4bd2003ff46cbac3cb706e0208117e55e9","last_reissued_at":"2026-07-01T01:18:17.762507Z","signature_status":"signed_v1","first_computed_at":"2026-07-01T01:18:17.762507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.31860","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:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m3wDheB3tphhSSBNCYcYBZgA95HkiQuafO215gIycKSRqYMehcrSGS4G4toOr9TOAX9NJXuNBHvUWcu0j8yyCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T11:51:59.983546Z"},"content_sha256":"0b7c44367dd1ebe42464b8179dacdf60b42383613152a0e3583aa97a6de2f8ba","schema_version":"1.0","event_id":"sha256:0b7c44367dd1ebe42464b8179dacdf60b42383613152a0e3583aa97a6de2f8ba"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:X5S3K5KMK27JKZ73QS6I54SKJP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Labelled Sequent Calculi for Propositional Team Logics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Fan Yang, Fausto Barbero, Marianna Girlando, Valentin M\\\"uller","submitted_at":"2026-06-30T15:53:39Z","abstract_excerpt":"Team semantics is a general framework where formulas are not interpreted with respect to a single point of evaluation, but with respect to sets of such points. Team semantics is used in dependence logic, to reason about dependencies between variables, and in inquisitive logic, to formalize the meaning of questions. We provide sound and complete labelled sequent calculi for four logics based on team semantics: basic inquisitive logic, propositional intuitionistic dependence logic, and their respective extensions with tensor disjunction. For technical reasons, we restrict ourselves to languages "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31860","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.31860/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:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m8fS1FrAdSeDNbhGf2YmfpuMS8hWWrDV+KUuqGr2+KJ3R8VGypbSA9bKSJZa9Iu2pU3YS6cxt/oGbSe5kxByDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T11:51:59.983925Z"},"content_sha256":"26fe6917db1827c5b6d50cec9aa0972d2bfcbd1beb64b3eac24ea976635a2111","schema_version":"1.0","event_id":"sha256:26fe6917db1827c5b6d50cec9aa0972d2bfcbd1beb64b3eac24ea976635a2111"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X5S3K5KMK27JKZ73QS6I54SKJP/bundle.json","state_url":"https://pith.science/pith/X5S3K5KMK27JKZ73QS6I54SKJP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X5S3K5KMK27JKZ73QS6I54SKJP/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-01T11:51:59Z","links":{"resolver":"https://pith.science/pith/X5S3K5KMK27JKZ73QS6I54SKJP","bundle":"https://pith.science/pith/X5S3K5KMK27JKZ73QS6I54SKJP/bundle.json","state":"https://pith.science/pith/X5S3K5KMK27JKZ73QS6I54SKJP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X5S3K5KMK27JKZ73QS6I54SKJP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:X5S3K5KMK27JKZ73QS6I54SKJP","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":"99f5e96f0860ca26774ac50df35d6295779ee3fd8b03ec7a826ad59bc758e07e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:53:39Z","title_canon_sha256":"2f35ba98743a1992e4d05e0be19bb78f8aa7a7a1cb58d031cb165eaa94711bf9"},"schema_version":"1.0","source":{"id":"2606.31860","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31860","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31860v1","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31860","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_12","alias_value":"X5S3K5KMK27J","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_16","alias_value":"X5S3K5KMK27JKZ73","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_8","alias_value":"X5S3K5KM","created_at":"2026-07-01T01:18:17Z"}],"graph_snapshots":[{"event_id":"sha256:26fe6917db1827c5b6d50cec9aa0972d2bfcbd1beb64b3eac24ea976635a2111","target":"graph","created_at":"2026-07-01T01:18:17Z","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.31860/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Team semantics is a general framework where formulas are not interpreted with respect to a single point of evaluation, but with respect to sets of such points. Team semantics is used in dependence logic, to reason about dependencies between variables, and in inquisitive logic, to formalize the meaning of questions. We provide sound and complete labelled sequent calculi for four logics based on team semantics: basic inquisitive logic, propositional intuitionistic dependence logic, and their respective extensions with tensor disjunction. For technical reasons, we restrict ourselves to languages ","authors_text":"Fan Yang, Fausto Barbero, Marianna Girlando, Valentin M\\\"uller","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:53:39Z","title":"Labelled Sequent Calculi for Propositional Team Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31860","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:0b7c44367dd1ebe42464b8179dacdf60b42383613152a0e3583aa97a6de2f8ba","target":"record","created_at":"2026-07-01T01:18:17Z","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":"99f5e96f0860ca26774ac50df35d6295779ee3fd8b03ec7a826ad59bc758e07e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:53:39Z","title_canon_sha256":"2f35ba98743a1992e4d05e0be19bb78f8aa7a7a1cb58d031cb165eaa94711bf9"},"schema_version":"1.0","source":{"id":"2606.31860","kind":"arxiv","version":1}},"canonical_sha256":"bf65b5754c56be9567fb84bc8ef24a4bd2003ff46cbac3cb706e0208117e55e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bf65b5754c56be9567fb84bc8ef24a4bd2003ff46cbac3cb706e0208117e55e9","first_computed_at":"2026-07-01T01:18:17.762507Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T01:18:17.762507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PvjBgHjTTx61mPO79FOmqJfbUUSZkAI8pKnGXwqHBKdMDpsSt5lgC4CCpksx6Kd4ftFUn5sVivb4AMw0kbB1BA==","signature_status":"signed_v1","signed_at":"2026-07-01T01:18:17.763023Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.31860","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0b7c44367dd1ebe42464b8179dacdf60b42383613152a0e3583aa97a6de2f8ba","sha256:26fe6917db1827c5b6d50cec9aa0972d2bfcbd1beb64b3eac24ea976635a2111"],"state_sha256":"883ed2b737295b6ff6cf33d76f0c67385df38efbfcd8f0f189cc4d2baf620355"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M/VywiA79eGXorch2c2N02vx36IeQIJFsnRgl6uajhTBZMm3jLqC2yqKzjd+inmPxO9FZ43m+ltdL8Byx365Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T11:51:59.986016Z","bundle_sha256":"76f94ba81c5bb62ee275339a6e442b6ca915631f357b960727897219c36617f0"}}