{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:YEUAANNLPSYIUMR2C2XPHOU77O","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":"879c7b9cf5d031f8b0b815eec9685e093d644ea97ef9a01a2830359be03b7801","cross_cats_sorted":["cs.MA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:55:16Z","title_canon_sha256":"275bc036b3b9f384c40e247db1f61aac04eeba2586726afa5bb9e4609f962f7d"},"schema_version":"1.0","source":{"id":"2606.31866","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31866","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31866v1","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31866","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_12","alias_value":"YEUAANNLPSYI","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_16","alias_value":"YEUAANNLPSYIUMR2","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_8","alias_value":"YEUAANNL","created_at":"2026-07-01T01:18:17Z"}],"graph_snapshots":[{"event_id":"sha256:c6d442abaf33af57dd2abbe87075623b5df9a2f3e6dad3693b480cf4aeef6037","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.31866/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce inquisitive action logic, InqAL, a multi-agent modal logic for reasoning about action. While traditional approaches focus on what properties of the outcome an agent can force, InqAL also captures what aspects of the outcome an agent determines through their actions. As we argue, such claims of agentive determination are naturally analyzed as modal claims involving questions.\n  Technically, InqAL is a multi-agent extension of inquisitive neighborhood logic based on concurrent game structures. With respect to statements, it is expressively equivalent to the individual-agent fragment","authors_text":"Ivano Ciardelli (University of Padua)","cross_cats":["cs.MA"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:55:16Z","title":"Inquisitive Action Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31866","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:7602cfdea918c5f0abec2b3831222d27359e4468253ef3210b7ddae0afa9b1e8","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":"879c7b9cf5d031f8b0b815eec9685e093d644ea97ef9a01a2830359be03b7801","cross_cats_sorted":["cs.MA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:55:16Z","title_canon_sha256":"275bc036b3b9f384c40e247db1f61aac04eeba2586726afa5bb9e4609f962f7d"},"schema_version":"1.0","source":{"id":"2606.31866","kind":"arxiv","version":1}},"canonical_sha256":"c1280035ab7cb08a323a16aef3ba9ffba4d25b61d3f0678240c58fec0d03b9b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1280035ab7cb08a323a16aef3ba9ffba4d25b61d3f0678240c58fec0d03b9b2","first_computed_at":"2026-07-01T01:18:17.946544Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T01:18:17.946544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dSLXVII937Gto6rB5YiRico3DnauGBj2kt6Oi2X0xeigrI4zY3p8IpfHfloNE5Ad4F3znRGi3eL1ak2x/NuuDg==","signature_status":"signed_v1","signed_at":"2026-07-01T01:18:17.947153Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.31866","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7602cfdea918c5f0abec2b3831222d27359e4468253ef3210b7ddae0afa9b1e8","sha256:c6d442abaf33af57dd2abbe87075623b5df9a2f3e6dad3693b480cf4aeef6037"],"state_sha256":"78bc95e10905fe8eb7ddb3ae350930858ead3b64aff57b2668b80ad3561a0667"}