{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:QSKF5PLXCCC4H4T2AZSERORGOK","short_pith_number":"pith:QSKF5PLX","schema_version":"1.0","canonical_sha256":"84945ebd771085c3f27a066448ba2672b2e0460f50f17c3063810a4f1889245b","source":{"kind":"arxiv","id":"1112.6275","version":2},"attestation_state":"computed","paper":{"title":"Reasoning About Strategies: On the Model-Checking Problem","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":["cs.MA","math.LO"],"primary_cat":"cs.LO","authors_text":"Aniello Murano, Fabio Mogavero, Giuseppe Perelli, Moshe Y. Vardi","submitted_at":"2011-12-29T11:12:19Z","abstract_excerpt":"In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between agents and express the correctness of the system no matter how the environment behaves. An important contribution in this context is given by modal logics for strategic ability, in the setting of multi-agent games, such as ATL, ATL\\star, and the like. Recently, Chatterjee, Henzinger, and Piterman introduced Strategy Logic, which we denote here by CHP-SL, with the aim of getting a powerful framework for reasoning explicitly about strategies. CHP-SL is obtained by "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1112.6275","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.LO","submitted_at":"2011-12-29T11:12:19Z","cross_cats_sorted":["cs.MA","math.LO"],"title_canon_sha256":"55fb5aa3514d2487f32025313262d65fbd280cdffaecd113abcdbc1c646c2c67","abstract_canon_sha256":"10815ed44ddbeed302e17de1cade8ed8819692c6d47457beff1c22b4b0da80e8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:59:18.866919Z","signature_b64":"85mHLy2NeSy0SdNBcTXqrvpi3KJihz3LsG1rNlHnNfGFaiqgzZzsM0fVHvQFekyMLkNrKW62ULxPc9jZ6JwMBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"84945ebd771085c3f27a066448ba2672b2e0460f50f17c3063810a4f1889245b","last_reissued_at":"2026-05-18T02:59:18.866278Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:59:18.866278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reasoning About Strategies: On the Model-Checking Problem","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":["cs.MA","math.LO"],"primary_cat":"cs.LO","authors_text":"Aniello Murano, Fabio Mogavero, Giuseppe Perelli, Moshe Y. Vardi","submitted_at":"2011-12-29T11:12:19Z","abstract_excerpt":"In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between agents and express the correctness of the system no matter how the environment behaves. An important contribution in this context is given by modal logics for strategic ability, in the setting of multi-agent games, such as ATL, ATL\\star, and the like. Recently, Chatterjee, Henzinger, and Piterman introduced Strategy Logic, which we denote here by CHP-SL, with the aim of getting a powerful framework for reasoning explicitly about strategies. CHP-SL is obtained by "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.6275","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1112.6275","created_at":"2026-05-18T02:59:18.866383+00:00"},{"alias_kind":"arxiv_version","alias_value":"1112.6275v2","created_at":"2026-05-18T02:59:18.866383+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.6275","created_at":"2026-05-18T02:59:18.866383+00:00"},{"alias_kind":"pith_short_12","alias_value":"QSKF5PLXCCC4","created_at":"2026-05-18T12:26:39.201973+00:00"},{"alias_kind":"pith_short_16","alias_value":"QSKF5PLXCCC4H4T2","created_at":"2026-05-18T12:26:39.201973+00:00"},{"alias_kind":"pith_short_8","alias_value":"QSKF5PLX","created_at":"2026-05-18T12:26:39.201973+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QSKF5PLXCCC4H4T2AZSERORGOK","json":"https://pith.science/pith/QSKF5PLXCCC4H4T2AZSERORGOK.json","graph_json":"https://pith.science/api/pith-number/QSKF5PLXCCC4H4T2AZSERORGOK/graph.json","events_json":"https://pith.science/api/pith-number/QSKF5PLXCCC4H4T2AZSERORGOK/events.json","paper":"https://pith.science/paper/QSKF5PLX"},"agent_actions":{"view_html":"https://pith.science/pith/QSKF5PLXCCC4H4T2AZSERORGOK","download_json":"https://pith.science/pith/QSKF5PLXCCC4H4T2AZSERORGOK.json","view_paper":"https://pith.science/paper/QSKF5PLX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1112.6275&json=true","fetch_graph":"https://pith.science/api/pith-number/QSKF5PLXCCC4H4T2AZSERORGOK/graph.json","fetch_events":"https://pith.science/api/pith-number/QSKF5PLXCCC4H4T2AZSERORGOK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QSKF5PLXCCC4H4T2AZSERORGOK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QSKF5PLXCCC4H4T2AZSERORGOK/action/storage_attestation","attest_author":"https://pith.science/pith/QSKF5PLXCCC4H4T2AZSERORGOK/action/author_attestation","sign_citation":"https://pith.science/pith/QSKF5PLXCCC4H4T2AZSERORGOK/action/citation_signature","submit_replication":"https://pith.science/pith/QSKF5PLXCCC4H4T2AZSERORGOK/action/replication_record"}},"created_at":"2026-05-18T02:59:18.866383+00:00","updated_at":"2026-05-18T02:59:18.866383+00:00"}