{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:SHHW5JQ2TUI5ZMIIU2XP6DEHXJ","short_pith_number":"pith:SHHW5JQ2","schema_version":"1.0","canonical_sha256":"91cf6ea61a9d11dcb108a6aeff0c87ba756010c9169f4d01d27c3cd80f0e5e06","source":{"kind":"arxiv","id":"2606.29954","version":1},"attestation_state":"computed","paper":{"title":"Fundamental Logic Through the Lens of Modality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Guillaume Massas, Wesley H. Holliday","submitted_at":"2026-06-29T08:28:34Z","abstract_excerpt":"Fundamental logic is a non-classical logic based only on the introduction and elimination rules for conjunction, disjunction, negation, and the quantifiers in a Fitch-style natural deduction system. In this paper, we attempt to obtain a better understanding of fundamental logic and its semantics through the lens of modality. Using modal logic, we develop means of mutual understanding between the fundamental logician, on the one hand, and the orthologician and intuitionistic logician, on the other: we prove that the G\\\"odel-McKinsey-Tarski (GMT) translation of intuitionistic logic into the clas"},"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.29954","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-06-29T08:28:34Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3b245a887daafcd62e8535694f188769f827ee12fb62f7df7db0bd05b5c20bc0","abstract_canon_sha256":"30fb3a8ff4f9fcd55c63fd1ba33fb16a53e78bbf2d655aca88d4c2808ca065ce"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-30T02:17:42.535329Z","signature_b64":"PNi4EELmc1djvbG6w4cp/B145eUMEQ7Y0SO1ao/H79QcMwnL6euh3BF+0H5RM6OOj2pOIobFwwav+wvqxTHWBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"91cf6ea61a9d11dcb108a6aeff0c87ba756010c9169f4d01d27c3cd80f0e5e06","last_reissued_at":"2026-06-30T02:17:42.534859Z","signature_status":"signed_v1","first_computed_at":"2026-06-30T02:17:42.534859Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Fundamental Logic Through the Lens of Modality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Guillaume Massas, Wesley H. Holliday","submitted_at":"2026-06-29T08:28:34Z","abstract_excerpt":"Fundamental logic is a non-classical logic based only on the introduction and elimination rules for conjunction, disjunction, negation, and the quantifiers in a Fitch-style natural deduction system. In this paper, we attempt to obtain a better understanding of fundamental logic and its semantics through the lens of modality. Using modal logic, we develop means of mutual understanding between the fundamental logician, on the one hand, and the orthologician and intuitionistic logician, on the other: we prove that the G\\\"odel-McKinsey-Tarski (GMT) translation of intuitionistic logic into the clas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.29954","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.29954/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.29954","created_at":"2026-06-30T02:17:42.534926+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.29954v1","created_at":"2026-06-30T02:17:42.534926+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.29954","created_at":"2026-06-30T02:17:42.534926+00:00"},{"alias_kind":"pith_short_12","alias_value":"SHHW5JQ2TUI5","created_at":"2026-06-30T02:17:42.534926+00:00"},{"alias_kind":"pith_short_16","alias_value":"SHHW5JQ2TUI5ZMII","created_at":"2026-06-30T02:17:42.534926+00:00"},{"alias_kind":"pith_short_8","alias_value":"SHHW5JQ2","created_at":"2026-06-30T02:17:42.534926+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/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ","json":"https://pith.science/pith/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ.json","graph_json":"https://pith.science/api/pith-number/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ/graph.json","events_json":"https://pith.science/api/pith-number/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ/events.json","paper":"https://pith.science/paper/SHHW5JQ2"},"agent_actions":{"view_html":"https://pith.science/pith/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ","download_json":"https://pith.science/pith/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ.json","view_paper":"https://pith.science/paper/SHHW5JQ2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.29954&json=true","fetch_graph":"https://pith.science/api/pith-number/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ/graph.json","fetch_events":"https://pith.science/api/pith-number/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ/action/storage_attestation","attest_author":"https://pith.science/pith/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ/action/author_attestation","sign_citation":"https://pith.science/pith/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ/action/citation_signature","submit_replication":"https://pith.science/pith/SHHW5JQ2TUI5ZMIIU2XP6DEHXJ/action/replication_record"}},"created_at":"2026-06-30T02:17:42.534926+00:00","updated_at":"2026-06-30T02:17:42.534926+00:00"}