{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:IW5P5WYIIKTEY77V7WOBTGNQI6","short_pith_number":"pith:IW5P5WYI","schema_version":"1.0","canonical_sha256":"45bafedb0842a64c7ff5fd9c1999b0479128626d5c524671b4556b0e2685b002","source":{"kind":"arxiv","id":"1312.0144","version":3},"attestation_state":"computed","paper":{"title":"Knowing Whether","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Hans van Ditmarsch, Jie Fan, Yanjing Wang","submitted_at":"2013-11-30T19:18:49Z","abstract_excerpt":"Knowing whether a proposition is true means knowing that it is true or knowing that it is false. In this paper, we study logics with a modal operator Kw for knowing whether but without a modal operator K for knowing that. This logic is not a normal modal logic, because we do not have Kw (phi -> psi) -> (Kw phi -> Kw psi). Knowing whether logic cannot define many common frame properties, and its expressive power less than that of basic modal logic over classes of models without reflexivity. These features make axiomatizing knowing whether logics non-trivial. We axiomatize knowing whether logic "},"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":"1312.0144","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-11-30T19:18:49Z","cross_cats_sorted":[],"title_canon_sha256":"44d225b0b622ced97e394d6d6085a949e856a3d55c6ebdecca5750e849430568","abstract_canon_sha256":"d1edbd8e4fb6c4d379d9f8a4c77a498f6c550fda83078fab3011fcd51a6b31f8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:04:58.945517Z","signature_b64":"QBjz3n3GJiqpXbuJz78RTlhRWk0g80r5rZQBOhIW2DVrlMGTHxwnoSKRgohUEK9VpYsjnZybw9aDKxUslqz3CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"45bafedb0842a64c7ff5fd9c1999b0479128626d5c524671b4556b0e2685b002","last_reissued_at":"2026-05-18T03:04:58.944812Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:04:58.944812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Knowing Whether","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Hans van Ditmarsch, Jie Fan, Yanjing Wang","submitted_at":"2013-11-30T19:18:49Z","abstract_excerpt":"Knowing whether a proposition is true means knowing that it is true or knowing that it is false. In this paper, we study logics with a modal operator Kw for knowing whether but without a modal operator K for knowing that. This logic is not a normal modal logic, because we do not have Kw (phi -> psi) -> (Kw phi -> Kw psi). Knowing whether logic cannot define many common frame properties, and its expressive power less than that of basic modal logic over classes of models without reflexivity. These features make axiomatizing knowing whether logics non-trivial. We axiomatize knowing whether logic "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.0144","kind":"arxiv","version":3},"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":"1312.0144","created_at":"2026-05-18T03:04:58.944907+00:00"},{"alias_kind":"arxiv_version","alias_value":"1312.0144v3","created_at":"2026-05-18T03:04:58.944907+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.0144","created_at":"2026-05-18T03:04:58.944907+00:00"},{"alias_kind":"pith_short_12","alias_value":"IW5P5WYIIKTE","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_16","alias_value":"IW5P5WYIIKTEY77V","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_8","alias_value":"IW5P5WYI","created_at":"2026-05-18T12:27:49.015174+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/IW5P5WYIIKTEY77V7WOBTGNQI6","json":"https://pith.science/pith/IW5P5WYIIKTEY77V7WOBTGNQI6.json","graph_json":"https://pith.science/api/pith-number/IW5P5WYIIKTEY77V7WOBTGNQI6/graph.json","events_json":"https://pith.science/api/pith-number/IW5P5WYIIKTEY77V7WOBTGNQI6/events.json","paper":"https://pith.science/paper/IW5P5WYI"},"agent_actions":{"view_html":"https://pith.science/pith/IW5P5WYIIKTEY77V7WOBTGNQI6","download_json":"https://pith.science/pith/IW5P5WYIIKTEY77V7WOBTGNQI6.json","view_paper":"https://pith.science/paper/IW5P5WYI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1312.0144&json=true","fetch_graph":"https://pith.science/api/pith-number/IW5P5WYIIKTEY77V7WOBTGNQI6/graph.json","fetch_events":"https://pith.science/api/pith-number/IW5P5WYIIKTEY77V7WOBTGNQI6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IW5P5WYIIKTEY77V7WOBTGNQI6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IW5P5WYIIKTEY77V7WOBTGNQI6/action/storage_attestation","attest_author":"https://pith.science/pith/IW5P5WYIIKTEY77V7WOBTGNQI6/action/author_attestation","sign_citation":"https://pith.science/pith/IW5P5WYIIKTEY77V7WOBTGNQI6/action/citation_signature","submit_replication":"https://pith.science/pith/IW5P5WYIIKTEY77V7WOBTGNQI6/action/replication_record"}},"created_at":"2026-05-18T03:04:58.944907+00:00","updated_at":"2026-05-18T03:04:58.944907+00:00"}