{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XAWD4TDMIGBV5IPSTPFOBXIRNJ","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":"beaded774e6180c14de6615eb84ec427b318e660264ff0b23f444194faba5d0b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-29T07:22:27Z","title_canon_sha256":"cbf904704c2fc19a5a271a453d454397fec51bd2ce3b0c859d42dd2615b64ce9"},"schema_version":"1.0","source":{"id":"1604.08709","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.08709","created_at":"2026-05-18T00:57:37Z"},{"alias_kind":"arxiv_version","alias_value":"1604.08709v3","created_at":"2026-05-18T00:57:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.08709","created_at":"2026-05-18T00:57:37Z"},{"alias_kind":"pith_short_12","alias_value":"XAWD4TDMIGBV","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XAWD4TDMIGBV5IPS","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XAWD4TDM","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:c1a3eaec1847ac044cebf35d66cbdc9921828b56520291b133c86ea0c013ffb8","target":"graph","created_at":"2026-05-18T00:57:37Z","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":"Recent years witness a growing interest in nonstandard epistemic logics of \"knowing whether\", \"knowing what\", \"knowing how\", and so on. These logics are usually not normal, i.e., the standard axioms and reasoning rules for modal logic may be invalid. In this paper, we show that the conditional \"knowing value\" logic proposed by Wang and Fan \\cite{WF13} can be viewed as a disguised normal modal logic by treating the negation of the Kv operator as a special diamond. Under this perspective, it turns out that the original first-order Kripke semantics can be greatly simplified by introducing a terna","authors_text":"Tao Gu, Yanjing Wang","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-29T07:22:27Z","title":"\"Knowing value\" logic as a normal modal logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.08709","kind":"arxiv","version":3},"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:c3ac260ecae0573f168b4f2408deb3225c52e02123e8e49b4e723f91eaa763e7","target":"record","created_at":"2026-05-18T00:57:37Z","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":"beaded774e6180c14de6615eb84ec427b318e660264ff0b23f444194faba5d0b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-29T07:22:27Z","title_canon_sha256":"cbf904704c2fc19a5a271a453d454397fec51bd2ce3b0c859d42dd2615b64ce9"},"schema_version":"1.0","source":{"id":"1604.08709","kind":"arxiv","version":3}},"canonical_sha256":"b82c3e4c6c41835ea1f29bcae0dd116a591447b94a1574adfd412345685962b1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b82c3e4c6c41835ea1f29bcae0dd116a591447b94a1574adfd412345685962b1","first_computed_at":"2026-05-18T00:57:37.880680Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:37.880680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"r1CSEdNgF8+yjV5GC1YpjWCuZDPdIN+KCmow7vT2oZejJoC2qsDj4aQp5uiRWjZ68TFpK2BJ38WMN/rsqzSeBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:37.881408Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.08709","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c3ac260ecae0573f168b4f2408deb3225c52e02123e8e49b4e723f91eaa763e7","sha256:c1a3eaec1847ac044cebf35d66cbdc9921828b56520291b133c86ea0c013ffb8"],"state_sha256":"37525795dd39ffa2f9166ed4981fd0c035caf84228d6abc0cad065860358902f"}