{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:XN3SNCPNSYOYQA6CCWS6PWXBCL","short_pith_number":"pith:XN3SNCPN","schema_version":"1.0","canonical_sha256":"bb772689ed961d8803c215a5e7dae112ef04ffd8ceb20b61284b998901e865ab","source":{"kind":"arxiv","id":"1401.4658","version":1},"attestation_state":"computed","paper":{"title":"Computation Tree Logic Model Checking Based on Possibility Measures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Yali Li, Yongming Li, Zhanyou Ma","submitted_at":"2014-01-19T12:07:11Z","abstract_excerpt":"In order to deal with the systematic verification with uncertain infromation in possibility theory, Li and Li \\cite{li12} introduced model checking of linear-time properties in which the uncertainty is modeled by possibility measures. Xue, Lei and Li \\cite{Xue09} defined computation tree logic (CTL) based on possibility measures, which is called possibilistic CTL (PoCTL). This paper is a continuation of the above work. First, we study the expressiveness of PoCTL. Unlike probabilistic CTL, it is shown that PoCTL (in particular, qualitative PoCTL) is more powerful than CTL with respect to their "},"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":"1401.4658","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-19T12:07:11Z","cross_cats_sorted":[],"title_canon_sha256":"d6bf28a732cbf9c5e314016e6bc37f24089ef7f911ea460f141b7265bf05ecad","abstract_canon_sha256":"099d0ee2dca62c278d90fb54c1793a94f3d781b907248c40ec2208db65a79761"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:01:45.026233Z","signature_b64":"Qsf45LPkxClyCgDD4+107XernbO+DxvADx77ub2+ukVt1kqsx6FMKHgZ44Ux3VmBtNigH7p3MV1CkRCyOSZaBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bb772689ed961d8803c215a5e7dae112ef04ffd8ceb20b61284b998901e865ab","last_reissued_at":"2026-05-18T03:01:45.025716Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:01:45.025716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computation Tree Logic Model Checking Based on Possibility Measures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Yali Li, Yongming Li, Zhanyou Ma","submitted_at":"2014-01-19T12:07:11Z","abstract_excerpt":"In order to deal with the systematic verification with uncertain infromation in possibility theory, Li and Li \\cite{li12} introduced model checking of linear-time properties in which the uncertainty is modeled by possibility measures. Xue, Lei and Li \\cite{Xue09} defined computation tree logic (CTL) based on possibility measures, which is called possibilistic CTL (PoCTL). This paper is a continuation of the above work. First, we study the expressiveness of PoCTL. Unlike probabilistic CTL, it is shown that PoCTL (in particular, qualitative PoCTL) is more powerful than CTL with respect to their "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.4658","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1401.4658","created_at":"2026-05-18T03:01:45.025795+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.4658v1","created_at":"2026-05-18T03:01:45.025795+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.4658","created_at":"2026-05-18T03:01:45.025795+00:00"},{"alias_kind":"pith_short_12","alias_value":"XN3SNCPNSYOY","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_16","alias_value":"XN3SNCPNSYOYQA6C","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_8","alias_value":"XN3SNCPN","created_at":"2026-05-18T12:28:57.508820+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/XN3SNCPNSYOYQA6CCWS6PWXBCL","json":"https://pith.science/pith/XN3SNCPNSYOYQA6CCWS6PWXBCL.json","graph_json":"https://pith.science/api/pith-number/XN3SNCPNSYOYQA6CCWS6PWXBCL/graph.json","events_json":"https://pith.science/api/pith-number/XN3SNCPNSYOYQA6CCWS6PWXBCL/events.json","paper":"https://pith.science/paper/XN3SNCPN"},"agent_actions":{"view_html":"https://pith.science/pith/XN3SNCPNSYOYQA6CCWS6PWXBCL","download_json":"https://pith.science/pith/XN3SNCPNSYOYQA6CCWS6PWXBCL.json","view_paper":"https://pith.science/paper/XN3SNCPN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.4658&json=true","fetch_graph":"https://pith.science/api/pith-number/XN3SNCPNSYOYQA6CCWS6PWXBCL/graph.json","fetch_events":"https://pith.science/api/pith-number/XN3SNCPNSYOYQA6CCWS6PWXBCL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XN3SNCPNSYOYQA6CCWS6PWXBCL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XN3SNCPNSYOYQA6CCWS6PWXBCL/action/storage_attestation","attest_author":"https://pith.science/pith/XN3SNCPNSYOYQA6CCWS6PWXBCL/action/author_attestation","sign_citation":"https://pith.science/pith/XN3SNCPNSYOYQA6CCWS6PWXBCL/action/citation_signature","submit_replication":"https://pith.science/pith/XN3SNCPNSYOYQA6CCWS6PWXBCL/action/replication_record"}},"created_at":"2026-05-18T03:01:45.025795+00:00","updated_at":"2026-05-18T03:01:45.025795+00:00"}