{"as_of":"2026-08-13T05:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1695749d5ff91442234599ef3c837e0f8b2e6c81d44cbc0f9982a4c8b9e648c6","coverage":[{"denominator":19,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":19,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T14:06:41.301299Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-30T23:17:58.766812Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-01T13:25:45.379862Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"cited_work":{"arxiv_id":"2411.15775","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.15775","snapshot_observed_at":"2026-07-01T13:25:45.379862Z","title":"Arxiv, math.LO, eprint=2411.15775,https://arxiv.org/abs/2411.15775","venue":null,"work_id":"4c4faeff-7ed5-4f31-acd9-9fd161f3e492","year":2024},"citing_paper":{"arxiv_id":"2605.04689","last_updated":"2026-05-06T09:38:47Z","snapshot_observed_at":"2026-08-10T21:55:44.051767Z","submitted_at":"2026-05-06T09:38:47Z","title":"Continuations and Completeness in Proof-theoretic Semantics","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-05-08T16:54:00.231965Z"},"links":{"cited_paper":"/paper/2411.15775","citing_paper":"/paper/2605.04689"},"observation_digest":"sha256:207cb0dbe92cef478848906997ea64d195d4d0798cf701a966c4390d89e08a09","observation_id":"6889e62d-9366-4983-bac7-e37004f85024","resolution":{"observed_at":"2026-05-11T17:56:07.615515Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"cited_work":{"arxiv_id":"2411.15775","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.15775","snapshot_observed_at":"2026-07-01T13:25:45.379862Z","title":"Arxiv, math.LO, eprint=2411.15775,https://arxiv.org/abs/2411.15775","venue":null,"work_id":"4c4faeff-7ed5-4f31-acd9-9fd161f3e492","year":2024},"citing_paper":{"arxiv_id":"2605.05368","last_updated":"2026-06-10T10:04:00Z","snapshot_observed_at":"2026-08-02T16:24:05.849694Z","submitted_at":"2026-05-06T18:49:02Z","title":"Towards an Inferentialist Account of Information Through Proof-theoretic Semantics","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-08T15:48:47.436814Z"},"links":{"cited_paper":"/paper/2411.15775","citing_paper":"/paper/2605.05368"},"observation_digest":"sha256:0dab649e556598c7fbaff1f1157315087f91f62f845cdaa3b8249addfbf3ca9a","observation_id":"9e60c119-b657-4223-9cfd-8c9fbefc23ce","resolution":{"observed_at":"2026-05-11T18:31:08.052568Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"cited_work":{"arxiv_id":"2411.15775","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.15775","snapshot_observed_at":"2026-07-01T13:25:45.379862Z","title":"Arxiv, math.LO, eprint=2411.15775,https://arxiv.org/abs/2411.15775","venue":null,"work_id":"4c4faeff-7ed5-4f31-acd9-9fd161f3e492","year":2024},"citing_paper":{"arxiv_id":"2605.05368","last_updated":"2026-06-10T10:04:00Z","snapshot_observed_at":"2026-08-02T16:24:05.849694Z","submitted_at":"2026-05-06T18:49:02Z","title":"Towards an Inferentialist Account of Information Through Proof-theoretic Semantics","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-11T01:46:21.622756Z"},"links":{"cited_paper":"/paper/2411.15775","citing_paper":"/paper/2605.05368"},"observation_digest":"sha256:21da7f61620348228d51494af001bde7436e56c7378f4ff05d2f3dd260d91ed2","observation_id":"4394d98c-831a-463b-a89b-519082c46cf6","resolution":{"observed_at":"2026-05-11T04:20:58.636070Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"cited_work":{"arxiv_id":"2411.15775","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.15775","snapshot_observed_at":"2026-07-01T13:25:45.379862Z","title":"Arxiv, math.LO, eprint=2411.15775,https://arxiv.org/abs/2411.15775","venue":null,"work_id":"4c4faeff-7ed5-4f31-acd9-9fd161f3e492","year":2024},"citing_paper":{"arxiv_id":"2605.05368","last_updated":"2026-06-10T10:04:00Z","snapshot_observed_at":"2026-08-02T16:24:05.849694Z","submitted_at":"2026-05-06T18:49:02Z","title":"Towards an Inferentialist Account of Information Through Proof-theoretic Semantics","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-20T23:16:49.318507Z"},"links":{"cited_paper":"/paper/2411.15775","citing_paper":"/paper/2605.05368"},"observation_digest":"sha256:9b179571cf506b4bdf4b872e4e6ef7b6ccf675f9e817a8e50f8d854d6636c96b","observation_id":"d7ae5f83-c077-4da5-97b5-307710d24528","resolution":{"observed_at":"2026-05-20T23:19:13.924843Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"cited_work":{"arxiv_id":"2411.15775","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.15775","snapshot_observed_at":"2026-07-01T13:25:45.379862Z","title":"Arxiv, math.LO, eprint=2411.15775,https://arxiv.org/abs/2411.15775","venue":null,"work_id":"4c4faeff-7ed5-4f31-acd9-9fd161f3e492","year":2024},"citing_paper":{"arxiv_id":"2605.05368","last_updated":"2026-06-10T10:04:00Z","snapshot_observed_at":"2026-08-02T16:24:05.849694Z","submitted_at":"2026-05-06T18:49:02Z","title":"Towards an Inferentialist Account of Information Through Proof-theoretic Semantics","version":5},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-30T23:17:58.766812Z"},"links":{"cited_paper":"/paper/2411.15775","citing_paper":"/paper/2605.05368"},"observation_digest":"sha256:216bcfd4020664c715ad3b92e4777cb3ffe8bc7952f6848f709b3db5a07c0bc6","observation_id":"51958392-2040-4dea-83f5-ae0130689202","resolution":{"observed_at":"2026-07-01T13:25:45.381691Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2411.15775/citation-record","integrity":"/paper/2411.15775/integrity","json":"/paper/2411.15775/citation-record.json","paper":"/paper/2411.15775"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.540789Z","title":"Moss, and S/suppress lawomir Solecki","venue":null,"work_id":"20c4260e-3edb-412a-88ed-40fcf2188721","year":1998},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.230340Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:dab6a69dc4f06e47b46442bee4895a9a2a5d52138fcb001f605781d6ddd4e6e3","observation_id":"9a2e6abd-7177-45af-901f-0732ed7bc5df","resolution":{"observed_at":"2026-08-12T14:06:41.544569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.528459Z","title":"Making It Explicit: Reasoning, Representing, and Discursive Commitment","venue":null,"work_id":"b8d97841-c874-4a2d-8e09-9c0f91765606","year":1994},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.235878Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:b66e1da7152b6f5bfc63ac3dd8956f515013342990a375af8a3b004375f82f5c","observation_id":"91cd3d68-9836-4801-81c5-240886ab1011","resolution":{"observed_at":"2026-08-12T14:06:41.532407Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.515376Z","title":"Articulating reasons: An introduction to inferentialism","venue":null,"work_id":"8db4c1c0-dd2b-4ed5-87b8-5c9d7feadeca","year":2009},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.240866Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:bf2161f02d15d5eae09ef86c807623b8bcacfc6fd4ac54ee1f6a725f2b05f648","observation_id":"9cae1e5b-b4a0-4df6-8e8f-20845b42ce74","resolution":{"observed_at":"2026-08-12T14:06:41.519317Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.503529Z","title":"Dynamic Epistemic Logic","venue":null,"work_id":"bd997291-bf10-4313-a8c5-ee646bde8c44","year":2007},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.245020Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:4dcf10bedb187e060c832aacc80891788573ad35041b9fa16ebbbf942b504a92","observation_id":"eb17371c-ea81-484e-82b4-aed0559c96d7","resolution":{"observed_at":"2026-08-12T14:06:41.507150Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.492931Z","title":"The logical basis of metaphysics","venue":null,"work_id":"c5572e29-201a-4a8d-98e9-96e66a434baa","year":1991},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.249012Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:f914c63fc4bfa268612a518ba55c716218f236699486588b4aefedb11b145991","observation_id":"b11c3f3e-bd67-4a1f-aa97-97c733e59e4b","resolution":{"observed_at":"2026-08-12T14:06:41.496046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.481811Z","title":null,"venue":null,"work_id":"6722136d-7933-4a94-8ac9-20d2b738e066","year":2024},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.253170Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:f4f19901735eb8c2b2689f7d8bd254d93285dffe1128496a6547b2bd1e5e34d1","observation_id":"ecfc3588-72ac-45e2-b11a-60fac61fad89","resolution":{"observed_at":"2026-08-12T14:06:41.485167Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.471510Z","title":null,"venue":null,"work_id":"60d00cf1-8038-41ae-882a-dcf4ce00de89","year":2025},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.257591Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:ad43c5e5798770411474abf09726c05a0cc6f5d2524e00cb38a4bac3aeddee2c","observation_id":"b6f16144-bb64-4725-b857-072bfe38d84e","resolution":{"observed_at":"2026-08-12T14:06:41.474732Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.459640Z","title":"On an inferential semantics for classical logic","venue":null,"work_id":"73d571c0-2a63-4587-bfd4-c2aa67bbcc5c","year":2014},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.261663Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:d20ad048bb8aac1f8fd24750a87018e48ca1427a7685762d17253a15c6bc1b3d","observation_id":"b20f35f6-682b-4a77-85f3-c6c77cf6fc2f","resolution":{"observed_at":"2026-08-12T14:06:41.463582Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.447568Z","title":null,"venue":null,"work_id":"ad8cfcec-973d-428c-be24-f731b4b5abd0","year":1995},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.265366Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:b49bf3fa14895e1e1cb00cf9a1a9b956e06f979ff84a85a2387db5e477a55691","observation_id":"86dd40a0-9d4e-4ae7-8e8b-e73c72a2a36e","resolution":{"observed_at":"2026-08-12T14:06:41.451520Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.435860Z","title":"Completeness in Proof-Theoretic Semantics , pages 231–251","venue":null,"work_id":"8d08cd45-3174-4792-a304-332a352f41a8","year":2016},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.268613Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:af15a6e97212362c2d3a153033aa0bad1ace878d19236358befbd32a5d2af122","observation_id":"c042b057-8682-468f-b29e-0efa0431e1bd","resolution":{"observed_at":"2026-08-12T14:06:41.439767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.424903Z","title":"The definitional view of atomic systems in proof-theoretic semantics","venue":null,"work_id":"b28d9ed0-d6ee-4127-b250-322b1ed31685","year":2016},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.272236Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:1a13d3111a87c0a9105288fce12ea00d68d9122806f3e5940ee53976a53a4c34","observation_id":"eef879a1-2685-4cfe-97bb-16993eb1e7d6","resolution":{"observed_at":"2026-08-12T14:06:41.428367Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.413377Z","title":"Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics","venue":null,"work_id":"84881cdb-41cd-4ebf-8033-e9814beb0af8","year":2019},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.275793Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:398a34883997dfd5bff5a8a06f3c6fefda3ef394e452e150c1609f5a895bed21","observation_id":"865211a6-375e-4a46-b129-92b04b3cbe83","resolution":{"observed_at":"2026-08-12T14:06:41.417634Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.401445Z","title":"Ideas and results in proof theory","venue":null,"work_id":"4a87fe37-bd43-4644-8726-884aabdccb08","year":1971},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.279522Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:f15318d5850b183c10da8c69d9dff8ca014c3523608b6cedbfbed4c0dcdea27b","observation_id":"11b85af5-b06e-4c2c-8525-0bade85cfc2a","resolution":{"observed_at":"2026-08-12T14:06:41.405674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.389059Z","title":"Meaning approached via proofs","venue":null,"work_id":"28729ff8-57b7-4a48-838e-35f15613bcc3","year":2006},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.283562Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:0bb7ca1879af9e60759f2520466a93cf0b1c07e2f1e7688d3d0351eaed8aeb26","observation_id":"207e6ef6-7edc-430a-be7b-01e0235c0143","resolution":{"observed_at":"2026-08-12T14:06:41.393090Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.376387Z","title":"An Inferentialist Interpretation of Classical Logic","venue":null,"work_id":"941c0cfa-a672-436e-89fc-b8226156867a","year":2005},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.287336Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:ee68d09810545fd5349f65bc790217a29914feb77cbf6751af02d55aec1737e8","observation_id":"f5865822-a9a1-4ca2-8ddf-ba47e780bffc","resolution":{"observed_at":"2026-08-12T14:06:41.380063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.363752Z","title":"Classical logic without bivalence","venue":null,"work_id":"dd3a2cce-0a8c-4a87-ba70-2494412f4a90","year":2009},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.290946Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:af388c214c5d2c5dbfc6ce1994169febd56bfa259f820f1b881124523a9e8bc5","observation_id":"6290b401-165f-4763-a234-7ded22db3733","resolution":{"observed_at":"2026-08-12T14:06:41.368245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.351331Z","title":"Base-extension semantics for intuitionistic sentential logic","venue":null,"work_id":"4f20e862-c376-491c-becc-0078265697bc","year":2015},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.294404Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:aa9e5c4357c9edb387dcb9cccd9421dab735a8572e992b21253e40492a29fe64","observation_id":"6ca84712-fd64-4326-86a4-4d27836dc63b","resolution":{"observed_at":"2026-08-12T14:06:41.355216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.339160Z","title":"Validity concepts in proof-theoretic semantics","venue":null,"work_id":"1e51c02d-2bd5-4687-b768-4e8cff13b9c8","year":2006},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.297924Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:00c9a7628a6558e0cca0714f89abeb45630bb9d8efaf03ced5fa3eeaecb2c392","observation_id":"08bb224d-aeb5-480e-b368-2f759f629f49","resolution":{"observed_at":"2026-08-12T14:06:41.343060Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:06:41.324575Z","title":"Proof-Theoretic versus Model-Theoretic Consequence","venue":null,"work_id":"0712540e-a54e-409f-917e-3e33bf89e271","year":2007},"citing_paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T14:06:41.301299Z"},"links":{"citing_paper":"/paper/2411.15775"},"observation_digest":"sha256:44a8501226b26ce8a7efa73b9a29895cfc7bd38d5a0ca2ddf8e366dab2929c96","observation_id":"bfad48fa-bd2a-4e74-989f-ec5625fd7aa4","resolution":{"observed_at":"2026-08-12T14:06:41.330593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.15775","last_updated":"2025-07-31T09:03:02Z","latest_version":3,"primary_category":"math.LO","snapshot_observed_at":"2026-08-12T22:41:36.110082Z","submitted_at":"2024-11-24T10:33:34Z","title":"Inferentialist Public Announcement Logic: Base-extension Semantics"},"reference_resolution":{"displayed":19,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":16},"total_outbound_references":19},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 5 inbound Pith citation observations for arXiv:2411.15775."}