{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:IOWTPV3Y6BVFWCVCEOU37DLNGN","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":"4dc709f0078aaffead6e660870fe3bde4dfd686f86c8316668ca12b75633927f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-31T17:57:29Z","title_canon_sha256":"a270c72c900a5155000b6e88cc190fafbb6f4f771c56c7dd6532fb22b01ad2c7"},"schema_version":"1.0","source":{"id":"1805.12592","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.12592","created_at":"2026-05-18T00:06:39Z"},{"alias_kind":"arxiv_version","alias_value":"1805.12592v2","created_at":"2026-05-18T00:06:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.12592","created_at":"2026-05-18T00:06:39Z"},{"alias_kind":"pith_short_12","alias_value":"IOWTPV3Y6BVF","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"IOWTPV3Y6BVFWCVC","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"IOWTPV3Y","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:af9b8d22a29335dc7c09a4f14cd09b1706a0973a48ccb837a2f6921abecea6a0","target":"graph","created_at":"2026-05-18T00:06:39Z","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 introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, the problem turns out to be undecidable. We introduce a syntactical class of \"hierarchical instances\" for which, intuitively, as one goes down the syntactic tree of the formula, strategy quantifications are concerned with finer observations of the model. We prove that model-checking SLii restricted to hierarchical instances is decidable. This result, because it allows for complex pat","authors_text":"Aniello Murano, Bastien Maubert, Moshe Vardi, Rapha\\\"el Berthon, Sasha Rubin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-31T17:57:29Z","title":"Strategy Logic with Imperfect Information"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.12592","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:f0e9bca7b5ad7caff6fb0f2f2c804b4025cb479be0500a3b6c38a8f8ce5b2849","target":"record","created_at":"2026-05-18T00:06:39Z","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":"4dc709f0078aaffead6e660870fe3bde4dfd686f86c8316668ca12b75633927f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-31T17:57:29Z","title_canon_sha256":"a270c72c900a5155000b6e88cc190fafbb6f4f771c56c7dd6532fb22b01ad2c7"},"schema_version":"1.0","source":{"id":"1805.12592","kind":"arxiv","version":2}},"canonical_sha256":"43ad37d778f06a5b0aa223a9bf8d6d3370813ba4e2173774e971f27aabaa3dd3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"43ad37d778f06a5b0aa223a9bf8d6d3370813ba4e2173774e971f27aabaa3dd3","first_computed_at":"2026-05-18T00:06:39.614930Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:39.614930Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GJdTMI1UceEo6KaeRPweL/bXWNpP5c1zUZGi/TQUwi3i9KvfFaZ7MgZDyyP5k7E+TRkYNPnMnf1F6escF17/DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:39.615540Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.12592","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f0e9bca7b5ad7caff6fb0f2f2c804b4025cb479be0500a3b6c38a8f8ce5b2849","sha256:af9b8d22a29335dc7c09a4f14cd09b1706a0973a48ccb837a2f6921abecea6a0"],"state_sha256":"c33c70e40b3cdf05b1cc63f76c299326575bafc40e864528c2c22821a7f92fd2"}