{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:K4YVOKUXK7NN2FDI6ATFHAMYGJ","short_pith_number":"pith:K4YVOKUX","schema_version":"1.0","canonical_sha256":"5731572a9757dadd1468f0265381983266c7df721ec3cedc380a6234bc2508a5","source":{"kind":"arxiv","id":"1707.08752","version":1},"attestation_state":"computed","paper":{"title":"Indicative Conditionals and Dynamic Epistemic Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Berkeley), Thomas F. Icard III (Stanford University), Wesley H. Holliday (University of California","submitted_at":"2017-07-27T07:51:12Z","abstract_excerpt":"Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin's [16] semantic consequence relation for a language with epistemic modals and indicative conditionals. In the other direction"},"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":"1707.08752","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:51:12Z","cross_cats_sorted":[],"title_canon_sha256":"58568e2411ae5fde8e3cc15fc6e48ee03c844744f77b9bb3e9340a93ecc291b5","abstract_canon_sha256":"615b9dc0a1100482279135ab06891967029de57c8f7596184066e7081c0f0dae"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:39.495254Z","signature_b64":"dQBA0P3i5X5hqpsc2+c179OYkr5RUEOhwzeVhMaFMNe2ZWqtgw7AXRm+7fHlxIt6d8eEz7J6oklRIdeAUK3NBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5731572a9757dadd1468f0265381983266c7df721ec3cedc380a6234bc2508a5","last_reissued_at":"2026-05-18T00:38:39.494729Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:39.494729Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Indicative Conditionals and Dynamic Epistemic Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Berkeley), Thomas F. Icard III (Stanford University), Wesley H. Holliday (University of California","submitted_at":"2017-07-27T07:51:12Z","abstract_excerpt":"Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin's [16] semantic consequence relation for a language with epistemic modals and indicative conditionals. In the other direction"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08752","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":"1707.08752","created_at":"2026-05-18T00:38:39.494799+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.08752v1","created_at":"2026-05-18T00:38:39.494799+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08752","created_at":"2026-05-18T00:38:39.494799+00:00"},{"alias_kind":"pith_short_12","alias_value":"K4YVOKUXK7NN","created_at":"2026-05-18T12:31:24.725408+00:00"},{"alias_kind":"pith_short_16","alias_value":"K4YVOKUXK7NN2FDI","created_at":"2026-05-18T12:31:24.725408+00:00"},{"alias_kind":"pith_short_8","alias_value":"K4YVOKUX","created_at":"2026-05-18T12:31:24.725408+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/K4YVOKUXK7NN2FDI6ATFHAMYGJ","json":"https://pith.science/pith/K4YVOKUXK7NN2FDI6ATFHAMYGJ.json","graph_json":"https://pith.science/api/pith-number/K4YVOKUXK7NN2FDI6ATFHAMYGJ/graph.json","events_json":"https://pith.science/api/pith-number/K4YVOKUXK7NN2FDI6ATFHAMYGJ/events.json","paper":"https://pith.science/paper/K4YVOKUX"},"agent_actions":{"view_html":"https://pith.science/pith/K4YVOKUXK7NN2FDI6ATFHAMYGJ","download_json":"https://pith.science/pith/K4YVOKUXK7NN2FDI6ATFHAMYGJ.json","view_paper":"https://pith.science/paper/K4YVOKUX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.08752&json=true","fetch_graph":"https://pith.science/api/pith-number/K4YVOKUXK7NN2FDI6ATFHAMYGJ/graph.json","fetch_events":"https://pith.science/api/pith-number/K4YVOKUXK7NN2FDI6ATFHAMYGJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/K4YVOKUXK7NN2FDI6ATFHAMYGJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/K4YVOKUXK7NN2FDI6ATFHAMYGJ/action/storage_attestation","attest_author":"https://pith.science/pith/K4YVOKUXK7NN2FDI6ATFHAMYGJ/action/author_attestation","sign_citation":"https://pith.science/pith/K4YVOKUXK7NN2FDI6ATFHAMYGJ/action/citation_signature","submit_replication":"https://pith.science/pith/K4YVOKUXK7NN2FDI6ATFHAMYGJ/action/replication_record"}},"created_at":"2026-05-18T00:38:39.494799+00:00","updated_at":"2026-05-18T00:38:39.494799+00:00"}