{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:D64SJXTSV4RX7TWXSYSDYMWHA7","short_pith_number":"pith:D64SJXTS","schema_version":"1.0","canonical_sha256":"1fb924de72af237fced796243c32c707c6f5bd7a5bc0c8c4551498e3aacafe41","source":{"kind":"arxiv","id":"2606.31874","version":1},"attestation_state":"computed","paper":{"title":"Topological Logics of Path-Reachability","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Aleksandr Gagarin, David Fern\\'andez-Duque","submitted_at":"2026-06-30T15:57:35Z","abstract_excerpt":"The topological semantics of modal logic has been an active area of research ever since their introduction in the 1940s, with attention shifting in recent years from standard unimodal logic to more expressive frameworks. In particular, an Until-like path-reachability modality has recently been studied in Bezhanishvili et al. (2024) in polyhedral semantics; this paper investigates its topological counterpart. Focusing on the language combining said modality with the classical Cantor derivative modality, we exhibit an axiomatic system sound and complete both for the class of T1 topologies and fo"},"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":"2606.31874","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:57:35Z","cross_cats_sorted":[],"title_canon_sha256":"301ad7505d6878b9ee1bfc44824ba32a395d8d0193695c97961d80f8bc388fa3","abstract_canon_sha256":"75460a5aa07f235639412f0788569b60770644b0f808596b0957c2d72f8988e4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-01T01:18:18.174901Z","signature_b64":"PNzoaVNeyFPyDp5bRB9c1R1IFVtEq/HFYZQvfB6ZHSzpShhyhemhbQhVGHsJV3wvtf7N+AwfgguRxaIXooZeBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1fb924de72af237fced796243c32c707c6f5bd7a5bc0c8c4551498e3aacafe41","last_reissued_at":"2026-07-01T01:18:18.174287Z","signature_status":"signed_v1","first_computed_at":"2026-07-01T01:18:18.174287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Topological Logics of Path-Reachability","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Aleksandr Gagarin, David Fern\\'andez-Duque","submitted_at":"2026-06-30T15:57:35Z","abstract_excerpt":"The topological semantics of modal logic has been an active area of research ever since their introduction in the 1940s, with attention shifting in recent years from standard unimodal logic to more expressive frameworks. In particular, an Until-like path-reachability modality has recently been studied in Bezhanishvili et al. (2024) in polyhedral semantics; this paper investigates its topological counterpart. Focusing on the language combining said modality with the classical Cantor derivative modality, we exhibit an axiomatic system sound and complete both for the class of T1 topologies and fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31874","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.31874/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2606.31874","created_at":"2026-07-01T01:18:18.174381+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.31874v1","created_at":"2026-07-01T01:18:18.174381+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31874","created_at":"2026-07-01T01:18:18.174381+00:00"},{"alias_kind":"pith_short_12","alias_value":"D64SJXTSV4RX","created_at":"2026-07-01T01:18:18.174381+00:00"},{"alias_kind":"pith_short_16","alias_value":"D64SJXTSV4RX7TWX","created_at":"2026-07-01T01:18:18.174381+00:00"},{"alias_kind":"pith_short_8","alias_value":"D64SJXTS","created_at":"2026-07-01T01:18:18.174381+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/D64SJXTSV4RX7TWXSYSDYMWHA7","json":"https://pith.science/pith/D64SJXTSV4RX7TWXSYSDYMWHA7.json","graph_json":"https://pith.science/api/pith-number/D64SJXTSV4RX7TWXSYSDYMWHA7/graph.json","events_json":"https://pith.science/api/pith-number/D64SJXTSV4RX7TWXSYSDYMWHA7/events.json","paper":"https://pith.science/paper/D64SJXTS"},"agent_actions":{"view_html":"https://pith.science/pith/D64SJXTSV4RX7TWXSYSDYMWHA7","download_json":"https://pith.science/pith/D64SJXTSV4RX7TWXSYSDYMWHA7.json","view_paper":"https://pith.science/paper/D64SJXTS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.31874&json=true","fetch_graph":"https://pith.science/api/pith-number/D64SJXTSV4RX7TWXSYSDYMWHA7/graph.json","fetch_events":"https://pith.science/api/pith-number/D64SJXTSV4RX7TWXSYSDYMWHA7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/D64SJXTSV4RX7TWXSYSDYMWHA7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/D64SJXTSV4RX7TWXSYSDYMWHA7/action/storage_attestation","attest_author":"https://pith.science/pith/D64SJXTSV4RX7TWXSYSDYMWHA7/action/author_attestation","sign_citation":"https://pith.science/pith/D64SJXTSV4RX7TWXSYSDYMWHA7/action/citation_signature","submit_replication":"https://pith.science/pith/D64SJXTSV4RX7TWXSYSDYMWHA7/action/replication_record"}},"created_at":"2026-07-01T01:18:18.174381+00:00","updated_at":"2026-07-01T01:18:18.174381+00:00"}