{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:V3T2B5GST5KXQASLZFOVNIGPEK","short_pith_number":"pith:V3T2B5GS","canonical_record":{"source":{"id":"1803.05077","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-03-13T23:57:26Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d80f0dce2a68af5e3ee5d747d38ae7ea15c4f8ed7cdc52fd2c655131a9ce93b0","abstract_canon_sha256":"b2ef3b34aff4074c132246cf0a0911e69992fcc7abb6e6ea5f820eee7ba2c5fc"},"schema_version":"1.0"},"canonical_sha256":"aee7a0f4d29f5578024bc95d56a0cf22b89a826060925fcd71d3e4e658ca9fdd","source":{"kind":"arxiv","id":"1803.05077","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.05077","created_at":"2026-05-18T00:21:01Z"},{"alias_kind":"arxiv_version","alias_value":"1803.05077v1","created_at":"2026-05-18T00:21:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.05077","created_at":"2026-05-18T00:21:01Z"},{"alias_kind":"pith_short_12","alias_value":"V3T2B5GST5KX","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"V3T2B5GST5KXQASL","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"V3T2B5GS","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:V3T2B5GST5KXQASLZFOVNIGPEK","target":"record","payload":{"canonical_record":{"source":{"id":"1803.05077","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-03-13T23:57:26Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d80f0dce2a68af5e3ee5d747d38ae7ea15c4f8ed7cdc52fd2c655131a9ce93b0","abstract_canon_sha256":"b2ef3b34aff4074c132246cf0a0911e69992fcc7abb6e6ea5f820eee7ba2c5fc"},"schema_version":"1.0"},"canonical_sha256":"aee7a0f4d29f5578024bc95d56a0cf22b89a826060925fcd71d3e4e658ca9fdd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:21:01.394630Z","signature_b64":"vknmMd8yFmKkN91JjV+cs0LA/Pla1TG6bxm1YLIu/00bPEDMex9yU318xL/OM21avpJorteORGcYUKVHtDmqBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aee7a0f4d29f5578024bc95d56a0cf22b89a826060925fcd71d3e4e658ca9fdd","last_reissued_at":"2026-05-18T00:21:01.393886Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:21:01.393886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.05077","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:21:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jFDtf5ABSF6CGS7VuvYPpDNYU9701mkgt2uZ6VtYS9MWiJpYiyzyiDograzViFa+7/rYKf9yJEe/brREnUAbAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T05:40:09.814009Z"},"content_sha256":"726128c2ed0a710c1b67755bc515fdfc26110905bb294881528546c7c1152474","schema_version":"1.0","event_id":"sha256:726128c2ed0a710c1b67755bc515fdfc26110905bb294881528546c7c1152474"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:V3T2B5GST5KXQASLZFOVNIGPEK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Axiomatic systems and topological semantics for intuitionistic temporal logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"David Fern\\'andez-Duque, Fabi\\'an Romero, Joseph Boudou, Mart\\'in Di\\'eguez","submitted_at":"2018-03-13T23:57:26Z","abstract_excerpt":"We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic topological systems. Our topological semantics features a new interpretation for the `henceforth' modality that is a natural intuitionistic variant of the classical one. Using the soundness results, we show that the four logics obtained from the axiomatic systems are distinct. Finally, we show that when the language is restricted to the `henceforth'-free fragment, the set of valid formulas for the relationa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.05077","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:21:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IeGFWQqxIs/FlPc8tnMhHiCbU+7jStcLSXjLXTV9/yaes750+Renz2lc+e8kybeJL/023mlEL6KNFPhexo0GDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T05:40:09.814780Z"},"content_sha256":"d35f47860beee5b5955e932e4db98b58b07d08c17dcc5005f52659aa2a24f50b","schema_version":"1.0","event_id":"sha256:d35f47860beee5b5955e932e4db98b58b07d08c17dcc5005f52659aa2a24f50b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V3T2B5GST5KXQASLZFOVNIGPEK/bundle.json","state_url":"https://pith.science/pith/V3T2B5GST5KXQASLZFOVNIGPEK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V3T2B5GST5KXQASLZFOVNIGPEK/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-09T05:40:09Z","links":{"resolver":"https://pith.science/pith/V3T2B5GST5KXQASLZFOVNIGPEK","bundle":"https://pith.science/pith/V3T2B5GST5KXQASLZFOVNIGPEK/bundle.json","state":"https://pith.science/pith/V3T2B5GST5KXQASLZFOVNIGPEK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V3T2B5GST5KXQASLZFOVNIGPEK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:V3T2B5GST5KXQASLZFOVNIGPEK","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":"b2ef3b34aff4074c132246cf0a0911e69992fcc7abb6e6ea5f820eee7ba2c5fc","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-03-13T23:57:26Z","title_canon_sha256":"d80f0dce2a68af5e3ee5d747d38ae7ea15c4f8ed7cdc52fd2c655131a9ce93b0"},"schema_version":"1.0","source":{"id":"1803.05077","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.05077","created_at":"2026-05-18T00:21:01Z"},{"alias_kind":"arxiv_version","alias_value":"1803.05077v1","created_at":"2026-05-18T00:21:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.05077","created_at":"2026-05-18T00:21:01Z"},{"alias_kind":"pith_short_12","alias_value":"V3T2B5GST5KX","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"V3T2B5GST5KXQASL","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"V3T2B5GS","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:d35f47860beee5b5955e932e4db98b58b07d08c17dcc5005f52659aa2a24f50b","target":"graph","created_at":"2026-05-18T00:21:01Z","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":"We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic topological systems. Our topological semantics features a new interpretation for the `henceforth' modality that is a natural intuitionistic variant of the classical one. Using the soundness results, we show that the four logics obtained from the axiomatic systems are distinct. Finally, we show that when the language is restricted to the `henceforth'-free fragment, the set of valid formulas for the relationa","authors_text":"David Fern\\'andez-Duque, Fabi\\'an Romero, Joseph Boudou, Mart\\'in Di\\'eguez","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-03-13T23:57:26Z","title":"Axiomatic systems and topological semantics for intuitionistic temporal logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.05077","kind":"arxiv","version":1},"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:726128c2ed0a710c1b67755bc515fdfc26110905bb294881528546c7c1152474","target":"record","created_at":"2026-05-18T00:21:01Z","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":"b2ef3b34aff4074c132246cf0a0911e69992fcc7abb6e6ea5f820eee7ba2c5fc","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-03-13T23:57:26Z","title_canon_sha256":"d80f0dce2a68af5e3ee5d747d38ae7ea15c4f8ed7cdc52fd2c655131a9ce93b0"},"schema_version":"1.0","source":{"id":"1803.05077","kind":"arxiv","version":1}},"canonical_sha256":"aee7a0f4d29f5578024bc95d56a0cf22b89a826060925fcd71d3e4e658ca9fdd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aee7a0f4d29f5578024bc95d56a0cf22b89a826060925fcd71d3e4e658ca9fdd","first_computed_at":"2026-05-18T00:21:01.393886Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:01.393886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vknmMd8yFmKkN91JjV+cs0LA/Pla1TG6bxm1YLIu/00bPEDMex9yU318xL/OM21avpJorteORGcYUKVHtDmqBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:01.394630Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.05077","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:726128c2ed0a710c1b67755bc515fdfc26110905bb294881528546c7c1152474","sha256:d35f47860beee5b5955e932e4db98b58b07d08c17dcc5005f52659aa2a24f50b"],"state_sha256":"14f00daac08b08f117324d319fd6a35057ee430427396ad83241b9fee4d678b7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DNGdtIiwiSUHxw+RDAHaj6UtW0y02WgJD+uUZV/hsTAh3Ae+qT2wmTp2yLptVUeLRM1SXQIOiQYIAY2A0BoUCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T05:40:09.818312Z","bundle_sha256":"fb1c30be24575b4d49253803bf89b32e897db6c4e33c6e3ce552d4611fcfdbe5"}}