{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:NIJG4GXAFGG5E67BVYMLWCFRKK","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":"4c72095b6fca9bb418c5fb1f0d0f6376a7d8c98745a1f2000232c39960daafb2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-25T00:36:21Z","title_canon_sha256":"16972d58d39983997a00bb046c955ffed5ce3053ccc1167c68ab3cf1edbb8938"},"schema_version":"1.0","source":{"id":"1609.07684","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.07684","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"arxiv_version","alias_value":"1609.07684v2","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.07684","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"pith_short_12","alias_value":"NIJG4GXAFGG5","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"NIJG4GXAFGG5E67B","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"NIJG4GXA","created_at":"2026-05-18T12:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:aefea25a14ccd2c124b55283f67757d505bde16d6282267d73459bbab0806e28","target":"graph","created_at":"2026-05-18T00:56:45Z","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":"Standard epistemic logic studies propositional knowledge, yet many other types of knowledge such as \"knowing whether\", \"knowing what\", \"knowing how\" are frequently and widely used in everyday life as well as academic fields. In \"Conditionally Knowing What\" by Wang and Fan, an axiomatization of the epistemic logic with both regular \"knowing that\" operator and \"conditionally knowing what\" operator is given. Then the decidability and complexity of this logic command our study. In this paper, we direct our attention to the arbitrary models instead of epistemic models, thus making things clearer, a","authors_text":"Yifeng Ding","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-25T00:36:21Z","title":"Axiomatization and complexity of modal logic with knowing-what operator on model class K"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.07684","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:3ccf2734f2477b536b4c493de47f6e361fd845632db8e375fe3e7133f85d340c","target":"record","created_at":"2026-05-18T00:56:45Z","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":"4c72095b6fca9bb418c5fb1f0d0f6376a7d8c98745a1f2000232c39960daafb2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-25T00:36:21Z","title_canon_sha256":"16972d58d39983997a00bb046c955ffed5ce3053ccc1167c68ab3cf1edbb8938"},"schema_version":"1.0","source":{"id":"1609.07684","kind":"arxiv","version":2}},"canonical_sha256":"6a126e1ae0298dd27be1ae18bb08b1528885887d8961f8e1a772c735f360c184","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a126e1ae0298dd27be1ae18bb08b1528885887d8961f8e1a772c735f360c184","first_computed_at":"2026-05-18T00:56:45.417065Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:45.417065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"37ZgTsKmilTdr0b61rNYfQPybi6Fh5Hr7qaQPjzGyTlj1Uk7vNTmDv6LkYNWMphzyH+QRDEciCJAGUvmiSxwBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:45.417766Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.07684","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ccf2734f2477b536b4c493de47f6e361fd845632db8e375fe3e7133f85d340c","sha256:aefea25a14ccd2c124b55283f67757d505bde16d6282267d73459bbab0806e28"],"state_sha256":"6f867787d00c6a3d40078ec98047f59463080272dc1753087847833376fd5a5d"}