{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:YTECDBXS2RFLRWBNRGBYSCSXBC","short_pith_number":"pith:YTECDBXS","schema_version":"1.0","canonical_sha256":"c4c82186f2d44ab8d82d8983890a570892752e478d30ccac860a75ec7e52a404","source":{"kind":"arxiv","id":"1803.08193","version":1},"attestation_state":"computed","paper":{"title":"The Epistemology of Nondeterminism","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adam Bjorndahl","submitted_at":"2018-03-22T01:37:31Z","abstract_excerpt":"This paper proposes new semantics for nondeterministic program execution, replacing the standard relational semantics for propositional dynamic logic (PDL). Under these new semantics, program execution is represented as fundamentally deterministic (i.e., functional), while nondeterminism emerges as an epistemic relationship between the agent and the system: intuitively, the nondeterministic outcomes of a given process are precisely those that cannot be ruled out in advance. We formalize these notions using topology and the framework of dynamic topological logic (DTL). We show that DTL can be u"},"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":"1803.08193","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-22T01:37:31Z","cross_cats_sorted":[],"title_canon_sha256":"9b32561aa495124170818e66bd0bae64f67a0eb6769ce1ca58c418dca15d430f","abstract_canon_sha256":"3f08a8f065561f3a77870e59aed3efbe0d6a370c2d7a3ad6080326bfcfd4fdfb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:23.465779Z","signature_b64":"2MZkeDfaYbVruOsWqfXSMmtpMfiAA28bAR3m6z5b5kNcE64/U0VTrJ8H3sDlXrkYjbB47DzUEg0JwmwGWaBoDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c4c82186f2d44ab8d82d8983890a570892752e478d30ccac860a75ec7e52a404","last_reissued_at":"2026-05-18T00:20:23.465212Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:23.465212Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Epistemology of Nondeterminism","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adam Bjorndahl","submitted_at":"2018-03-22T01:37:31Z","abstract_excerpt":"This paper proposes new semantics for nondeterministic program execution, replacing the standard relational semantics for propositional dynamic logic (PDL). Under these new semantics, program execution is represented as fundamentally deterministic (i.e., functional), while nondeterminism emerges as an epistemic relationship between the agent and the system: intuitively, the nondeterministic outcomes of a given process are precisely those that cannot be ruled out in advance. We formalize these notions using topology and the framework of dynamic topological logic (DTL). We show that DTL can be u"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.08193","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":"1803.08193","created_at":"2026-05-18T00:20:23.465298+00:00"},{"alias_kind":"arxiv_version","alias_value":"1803.08193v1","created_at":"2026-05-18T00:20:23.465298+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.08193","created_at":"2026-05-18T00:20:23.465298+00:00"},{"alias_kind":"pith_short_12","alias_value":"YTECDBXS2RFL","created_at":"2026-05-18T12:33:04.347982+00:00"},{"alias_kind":"pith_short_16","alias_value":"YTECDBXS2RFLRWBN","created_at":"2026-05-18T12:33:04.347982+00:00"},{"alias_kind":"pith_short_8","alias_value":"YTECDBXS","created_at":"2026-05-18T12:33:04.347982+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/YTECDBXS2RFLRWBNRGBYSCSXBC","json":"https://pith.science/pith/YTECDBXS2RFLRWBNRGBYSCSXBC.json","graph_json":"https://pith.science/api/pith-number/YTECDBXS2RFLRWBNRGBYSCSXBC/graph.json","events_json":"https://pith.science/api/pith-number/YTECDBXS2RFLRWBNRGBYSCSXBC/events.json","paper":"https://pith.science/paper/YTECDBXS"},"agent_actions":{"view_html":"https://pith.science/pith/YTECDBXS2RFLRWBNRGBYSCSXBC","download_json":"https://pith.science/pith/YTECDBXS2RFLRWBNRGBYSCSXBC.json","view_paper":"https://pith.science/paper/YTECDBXS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1803.08193&json=true","fetch_graph":"https://pith.science/api/pith-number/YTECDBXS2RFLRWBNRGBYSCSXBC/graph.json","fetch_events":"https://pith.science/api/pith-number/YTECDBXS2RFLRWBNRGBYSCSXBC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YTECDBXS2RFLRWBNRGBYSCSXBC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YTECDBXS2RFLRWBNRGBYSCSXBC/action/storage_attestation","attest_author":"https://pith.science/pith/YTECDBXS2RFLRWBNRGBYSCSXBC/action/author_attestation","sign_citation":"https://pith.science/pith/YTECDBXS2RFLRWBNRGBYSCSXBC/action/citation_signature","submit_replication":"https://pith.science/pith/YTECDBXS2RFLRWBNRGBYSCSXBC/action/replication_record"}},"created_at":"2026-05-18T00:20:23.465298+00:00","updated_at":"2026-05-18T00:20:23.465298+00:00"}