{"as_of":"2026-08-19T01:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:58d0574edad1d352379d5cecc61ce2f53c1d94881d6e9b57130b6cbf99fa06a8","coverage":[{"denominator":18,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T10:38:50.945210Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.20221/citation-record","integrity":"/paper/2607.20221/integrity","json":"/paper/2607.20221/citation-record.json","paper":"/paper/2607.20221"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:49.119652Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:49.119652Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:edbda80a156cd0d4f69f82143faabe98d5d31da87010da0e61d9999b0f47873b","observation_id":"767db436-448e-4d8a-ba8f-1799bed63bae","resolution":{"observed_at":"2026-08-01T10:38:49.119652Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:49.236760Z","title":"Birkhoff","venue":null,"work_id":null,"year":1940},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:49.236760Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:cec87b90e94cfc877ffac79be98010f6a71dd4b15abf0c38d8a2357dbb2bac97","observation_id":"939e165c-1aef-40f9-a39f-51017925c1f0","resolution":{"observed_at":"2026-08-01T10:38:49.236760Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:49.379282Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:49.379282Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:3d7244c1e09e6275016ad747f929c3fad3be24ef9c9132fa9d587ad2455a1c83","observation_id":"bf6ece78-393c-4ac9-8aff-741d5219bd5f","resolution":{"observed_at":"2026-08-01T10:38:49.379282Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:49.482927Z","title":"Fischer Servi","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:49.482927Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:be9a0751addcdce13bbfa6b1ab9abf6c41dedece8cd2a716385c2fc83473ab5e","observation_id":"5fdaf853-5759-408e-889f-d1aabb3caba7","resolution":{"observed_at":"2026-08-01T10:38:49.482927Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:49.594747Z","title":"o del. Eine Interpretation des intuitionistischen Aussagenkalk\\","venue":null,"work_id":null,"year":1933},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:49.594747Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:21db88d91bd38d13f3bd3b45d681e1ac810ef579c08d9e30578428ba40b1cb7b","observation_id":"bfb35905-1eb4-48c3-8ea0-bce24ff5ba7f","resolution":{"observed_at":"2026-08-01T10:38:49.594747Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:49.758782Z","title":null,"venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:49.758782Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:25794871dee272c8987cd8412f5a799dade89b63d5cafe00ae12c56df1292343","observation_id":"25931bd2-ae26-467d-876b-52533ce0eea7","resolution":{"observed_at":"2026-08-01T10:38:49.758782Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:49.869730Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:49.869730Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:99ce6514889b2bb7605cdb4df1f683a511a5fcdc49e6951c5860d8f9da122595","observation_id":"184e42b1-f6c3-4c82-8360-98a38d0b02de","resolution":{"observed_at":"2026-08-01T10:38:49.869730Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:50.000092Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.000092Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:00b6ca1c16a54698730206026d81eab1660a6344dae7bf28ae87d071c87b8345","observation_id":"5799d255-6602-416b-9fd4-38e3d3ae6049","resolution":{"observed_at":"2026-08-01T10:38:50.000092Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.14043","last_updated":"2024-06-22T02:53:40Z","snapshot_observed_at":"2026-08-18T12:14:14.748903Z","submitted_at":"2024-03-20T23:46:29Z","title":"Modal logic, fundamentally","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.14043","snapshot_observed_at":"2026-08-01T10:38:50.189878Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.189878Z"},"links":{"cited_paper":"/paper/2403.14043","citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:1eca8baea2121eca9c6cb93c099abf323d5608499f85d59e9641a2e9414c636c","observation_id":"f018f951-b53e-4da4-b8e2-d003d15db0b6","resolution":{"observed_at":"2026-08-01T10:38:50.189878Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.02296","last_updated":"2025-08-28T14:14:51Z","snapshot_observed_at":"2026-08-16T14:21:48.118951Z","submitted_at":"2024-02-03T23:18:48Z","title":"Preconditionals","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.02296","snapshot_observed_at":"2026-08-01T10:38:50.283083Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.283083Z"},"links":{"cited_paper":"/paper/2402.02296","citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:eda207f916d38a1f710307c4fae69b967ba98b0b9b605dd5d3f904c3488c3169","observation_id":"283ad4a7-0f95-4646-acea-0689cae523ce","resolution":{"observed_at":"2026-08-01T10:38:50.283083Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.29954","last_updated":"2026-07-23T06:00:06Z","snapshot_observed_at":"2026-08-13T10:10:25.180687Z","submitted_at":"2026-06-29T08:28:34Z","title":"Fundamental Logic Through the Lens of Modality","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.29954","snapshot_observed_at":"2026-08-01T10:38:50.361128Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.361128Z"},"links":{"cited_paper":"/paper/2606.29954","citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:b3a1ad06a044ea53711d6432115fd46035587a068354ec6a7f6ef398292e3e93","observation_id":"039c1cd7-076f-48c9-afea-17cfc9bc090e","resolution":{"observed_at":"2026-08-01T10:38:50.361128Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:50.435601Z","title":null,"venue":null,"work_id":null,"year":1973},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.435601Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:b17418446ef264ac27fcdb63df57fc3e44f671552138717ddba22cd88c86d7d4","observation_id":"bd547686-c8dd-47ea-a65d-7feb62d29dc3","resolution":{"observed_at":"2026-08-01T10:38:50.435601Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:50.512605Z","title":"Mandelkern","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.512605Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:304f307d725098cf81325c31b35e9617c6c3f1edfaf19213ab7765a4afe29533","observation_id":"2c30210c-4866-4502-88c8-f980b70ddc0f","resolution":{"observed_at":"2026-08-01T10:38:50.512605Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:50.594825Z","title":null,"venue":null,"work_id":null,"year":1948},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.594825Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:32b0511cc63dd3a2eadb90b44c1340af0a9b6458eb5d694e38d2e2acab6113f1","observation_id":"e854665a-245d-41f2-bbe0-24346d82e3cf","resolution":{"observed_at":"2026-08-01T10:38:50.594825Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:50.724829Z","title":"Mittelstaedt","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.724829Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:1be9ce26fc7022ec478f3f4e462aec3bbb8636fba721802037cdec015ea45a3b","observation_id":"b2b2c77a-4ad6-42d3-a422-b968e5da729b","resolution":{"observed_at":"2026-08-01T10:38:50.724829Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:50.817149Z","title":"Plo s c ica","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.817149Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:c8876549b0d66efcad25313a3609bec75977c356bcb9426c3e9a2e9ae6e920b4","observation_id":"42742d58-2153-4c9d-b9f9-18fa28932189","resolution":{"observed_at":"2026-08-01T10:38:50.817149Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:50.889132Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.889132Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:bc51c00ba4112ecaba5503d86286e8a1afee2c21b0c4acdde5e385c01128d5ce","observation_id":"a2c5e312-81ff-4957-95a7-728e01a6f4b3","resolution":{"observed_at":"2026-08-01T10:38:50.889132Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:38:50.945210Z","title":"Urquhart","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-01T10:38:50.945210Z"},"links":{"citing_paper":"/paper/2607.20221"},"observation_digest":"sha256:17221d7196bcdac03d0c737f1d33b3c011bd1959294c9dd573204a387dd9cbc3","observation_id":"629165e1-8581-410a-a238-a10ebf75af59","resolution":{"observed_at":"2026-08-01T10:38:50.945210Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.20221","last_updated":"2026-07-22T14:40:00Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-18T16:11:56.386245Z","submitted_at":"2026-07-22T14:40:00Z","title":"Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations"},"reference_resolution":{"displayed":18,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":18},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2607.20221."}