{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:2BXAPX2XDO4UPXK4EMH2MVT4LT","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":"ede889228e227b7489e4c956585d355040443f2a7e116d22c73735017344b23b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-01T06:57:00Z","title_canon_sha256":"b1485e1aa825faf49f07350b69654c833d6bb068971b7a9613076ce26559795d"},"schema_version":"1.0","source":{"id":"1404.0144","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0144","created_at":"2026-05-18T02:55:05Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0144v1","created_at":"2026-05-18T02:55:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0144","created_at":"2026-05-18T02:55:05Z"},{"alias_kind":"pith_short_12","alias_value":"2BXAPX2XDO4U","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"2BXAPX2XDO4UPXK4","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"2BXAPX2X","created_at":"2026-05-18T12:28:09Z"}],"graph_snapshots":[{"event_id":"sha256:b8995372ff9fbd5a6e247a32639718d7af4cfa02497e8b869b889819c05d653a","target":"graph","created_at":"2026-05-18T02:55:05Z","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":"This paper introduces modal independence logic MIL, a modal logic that can explicitly talk about independence among propositional variables. Formulas of MIL are not evaluated in worlds but in sets of worlds, so called teams. In this vein, MIL can be seen as a variant of V\\\"a\\\"an\\\"anen's modal dependence logic MDL. We show that MIL embeds MDL and is strictly more expressive. However, on singleton teams, MIL is shown to be not more expressive than usual modal logic, but MIL is exponentially more succinct. Making use of a new form of bisimulation, we extend these expressivity results to modal log","authors_text":"Henning Schnoor, Heribert Vollmer, Juha Kontinen, Julian-Steffen M\\\"uller","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-01T06:57:00Z","title":"Modal Independence Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0144","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:39305f79930238dd15e6133314e4816915a241058b17df0f4966cc9d8a097023","target":"record","created_at":"2026-05-18T02:55:05Z","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":"ede889228e227b7489e4c956585d355040443f2a7e116d22c73735017344b23b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-01T06:57:00Z","title_canon_sha256":"b1485e1aa825faf49f07350b69654c833d6bb068971b7a9613076ce26559795d"},"schema_version":"1.0","source":{"id":"1404.0144","kind":"arxiv","version":1}},"canonical_sha256":"d06e07df571bb947dd5c230fa6567c5cdf3821cdeb648c01952d6b631bb1b926","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d06e07df571bb947dd5c230fa6567c5cdf3821cdeb648c01952d6b631bb1b926","first_computed_at":"2026-05-18T02:55:05.023839Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:05.023839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8Um8kISdNpRSPPEwYNFYkJ1VJx6GM4fOoktvqSfB7KULwvNdLdKEnxo1zRWR4KaLS6cDGJV6alm79hnWAl9vDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:05.024337Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.0144","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:39305f79930238dd15e6133314e4816915a241058b17df0f4966cc9d8a097023","sha256:b8995372ff9fbd5a6e247a32639718d7af4cfa02497e8b869b889819c05d653a"],"state_sha256":"8ec26572f36cdffa58c8d3b81fd8114857eb9c744b5e80f2eec7d93b04bc5ad1"}