{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:ZGBFN57EFEB4DGVKJ2ETM5K4U6","short_pith_number":"pith:ZGBFN57E","canonical_record":{"source":{"id":"1406.6266","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-24T14:52:46Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"86d867104c32847313094cc2e6b64341bb2a9a2bfd0003fbf371568408efc9cb","abstract_canon_sha256":"8ee1ea76392885b47df3ab7d6e83f6665c0aa4ac33f610456ed24eb2aebf1df1"},"schema_version":"1.0"},"canonical_sha256":"c98256f7e42903c19aaa4e8936755ca7aa6b87b639b90d3aecc531a3956092ae","source":{"kind":"arxiv","id":"1406.6266","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.6266","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"arxiv_version","alias_value":"1406.6266v1","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.6266","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"pith_short_12","alias_value":"ZGBFN57EFEB4","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZGBFN57EFEB4DGVK","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZGBFN57E","created_at":"2026-05-18T12:28:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:ZGBFN57EFEB4DGVKJ2ETM5K4U6","target":"record","payload":{"canonical_record":{"source":{"id":"1406.6266","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-24T14:52:46Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"86d867104c32847313094cc2e6b64341bb2a9a2bfd0003fbf371568408efc9cb","abstract_canon_sha256":"8ee1ea76392885b47df3ab7d6e83f6665c0aa4ac33f610456ed24eb2aebf1df1"},"schema_version":"1.0"},"canonical_sha256":"c98256f7e42903c19aaa4e8936755ca7aa6b87b639b90d3aecc531a3956092ae","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:49:03.774263Z","signature_b64":"zg16qGrceGxg0fYgg5Oi+b9f/n1EUWWjWFaNEKvMezeSNBVDLIs3fEjKve34C6CgYjXMBTb+HqO18pllN6Y0AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c98256f7e42903c19aaa4e8936755ca7aa6b87b639b90d3aecc531a3956092ae","last_reissued_at":"2026-05-18T02:49:03.773794Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:49:03.773794Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.6266","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:49:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oiz1Bha+89URS70RtKkNrCcvun2upGwoWOd6jL59eOe6C2RQdRmw9e68xAsTrWRUZsGRXDHchyYA7mk5ZSxfCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:28:37.604844Z"},"content_sha256":"1339f9c2995a24b314b3272e183cba7f9c55422d8e24e22d596557f0b588b7c3","schema_version":"1.0","event_id":"sha256:1339f9c2995a24b314b3272e183cba7f9c55422d8e24e22d596557f0b588b7c3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:ZGBFN57EFEB4DGVKJ2ETM5K4U6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Expressive Power of Modal Dependence Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Jonni Virtema, Katsuhiko Sano, Kerkko Luosto, Lauri Hella","submitted_at":"2014-06-24T14:52:46Z","abstract_excerpt":"We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with intuitionistic disjunction. Furthermore, we show that the expressive power of modal logic with intuitionistic disjunction and extended modal dependence logic coincide. Finally we establish that any translation from extended modal dependence logic into modal logic with intuitionistic disjunction increases the size of some formulas exponentially."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.6266","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:49:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+cFviqLAhSNosz9GZg+8RjoJoqhLpObbC8HWV82VpAk1QGR70wPj40bxiTXlyk31K6H+4n/qudwVw/xfPtgEDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:28:37.605528Z"},"content_sha256":"053c1cca54f4816545cbcd601e10c9200a651d3c7116ac5e28f1cab5c3bb2351","schema_version":"1.0","event_id":"sha256:053c1cca54f4816545cbcd601e10c9200a651d3c7116ac5e28f1cab5c3bb2351"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZGBFN57EFEB4DGVKJ2ETM5K4U6/bundle.json","state_url":"https://pith.science/pith/ZGBFN57EFEB4DGVKJ2ETM5K4U6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZGBFN57EFEB4DGVKJ2ETM5K4U6/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-27T09:28:37Z","links":{"resolver":"https://pith.science/pith/ZGBFN57EFEB4DGVKJ2ETM5K4U6","bundle":"https://pith.science/pith/ZGBFN57EFEB4DGVKJ2ETM5K4U6/bundle.json","state":"https://pith.science/pith/ZGBFN57EFEB4DGVKJ2ETM5K4U6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZGBFN57EFEB4DGVKJ2ETM5K4U6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:ZGBFN57EFEB4DGVKJ2ETM5K4U6","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":"8ee1ea76392885b47df3ab7d6e83f6665c0aa4ac33f610456ed24eb2aebf1df1","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-24T14:52:46Z","title_canon_sha256":"86d867104c32847313094cc2e6b64341bb2a9a2bfd0003fbf371568408efc9cb"},"schema_version":"1.0","source":{"id":"1406.6266","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.6266","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"arxiv_version","alias_value":"1406.6266v1","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.6266","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"pith_short_12","alias_value":"ZGBFN57EFEB4","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZGBFN57EFEB4DGVK","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZGBFN57E","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:053c1cca54f4816545cbcd601e10c9200a651d3c7116ac5e28f1cab5c3bb2351","target":"graph","created_at":"2026-05-18T02:49:03Z","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 study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with intuitionistic disjunction. Furthermore, we show that the expressive power of modal logic with intuitionistic disjunction and extended modal dependence logic coincide. Finally we establish that any translation from extended modal dependence logic into modal logic with intuitionistic disjunction increases the size of some formulas exponentially.","authors_text":"Jonni Virtema, Katsuhiko Sano, Kerkko Luosto, Lauri Hella","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-24T14:52:46Z","title":"The Expressive Power of Modal Dependence Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.6266","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:1339f9c2995a24b314b3272e183cba7f9c55422d8e24e22d596557f0b588b7c3","target":"record","created_at":"2026-05-18T02:49:03Z","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":"8ee1ea76392885b47df3ab7d6e83f6665c0aa4ac33f610456ed24eb2aebf1df1","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-24T14:52:46Z","title_canon_sha256":"86d867104c32847313094cc2e6b64341bb2a9a2bfd0003fbf371568408efc9cb"},"schema_version":"1.0","source":{"id":"1406.6266","kind":"arxiv","version":1}},"canonical_sha256":"c98256f7e42903c19aaa4e8936755ca7aa6b87b639b90d3aecc531a3956092ae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c98256f7e42903c19aaa4e8936755ca7aa6b87b639b90d3aecc531a3956092ae","first_computed_at":"2026-05-18T02:49:03.773794Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:49:03.773794Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zg16qGrceGxg0fYgg5Oi+b9f/n1EUWWjWFaNEKvMezeSNBVDLIs3fEjKve34C6CgYjXMBTb+HqO18pllN6Y0AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:49:03.774263Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.6266","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1339f9c2995a24b314b3272e183cba7f9c55422d8e24e22d596557f0b588b7c3","sha256:053c1cca54f4816545cbcd601e10c9200a651d3c7116ac5e28f1cab5c3bb2351"],"state_sha256":"73897a8f19cb56e7ebc60652ac853ad638456fce8e01efb195b51a796cd6832a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f/MNYj9lf/Mw8Fsif08d9tts3ioVcvkqrwYwHPbGHs/2/ZELltYIJNItZg/LeFeUvFlHjhnXhXtmek4dw0ilBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T09:28:37.609158Z","bundle_sha256":"5d25f314682772ce0148a4a7893e420905e18e4e13a81353ad608ebf25ae814c"}}