{"as_of":"2026-08-12T16:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e829cdf379ab6719e79f117a655c8a9c2280afb93d75ed03658453c43e7db36a","coverage":[{"denominator":74,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":74,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T21:17:06.220523Z","state":"measured"},{"denominator":75,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":75,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T19:01:09.151113Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"cited_work":{"arxiv_id":"2509.08165","doi":"10.48550/arxiv.2509.08165","metadata_source":"pith","pith_arxiv_id":"2509.08165","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","venue":"cs.LO","work_id":"b0df9f65-e4a7-4fef-81ee-c1d563c6a9a5","year":2025},"citing_paper":{"arxiv_id":"2603.04512","last_updated":"2026-06-30T15:59:27Z","snapshot_observed_at":"2026-08-10T04:40:05.150154Z","submitted_at":"2026-03-04T19:01:03Z","title":"Fusions of One-Variable First-Order Modal Logics","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T19:01:09.151113Z"},"links":{"cited_paper":"/paper/2509.08165","citing_paper":"/paper/2603.04512"},"observation_digest":"sha256:4fc1ec5f52e69022b461ac009da9b7493a504b42620e539a2b362cdc22913069","observation_id":"0b577bd7-32ec-4fd4-a149-8aef41a139d1","resolution":{"observed_at":"2026-08-02T19:03:28.033891Z","resolver_source":"local_arxiv","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/2509.08165/citation-record","integrity":"/paper/2509.08165/integrity","json":"/paper/2509.08165/citation-record.json","paper":"/paper/2509.08165"},"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-04T21:17:07.304963Z","title":"Börger, E","venue":null,"work_id":"15481a76-85f3-4180-af94-bf701adbb3c0","year":1997},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.946623Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:ee110ecd829b253266835b1d76093a83ef34eea105063aeba00de16468987974","observation_id":"f3c62e8c-5a5e-48fb-9b15-2fa67e6a64e7","resolution":{"observed_at":"2026-08-04T21:17:07.308900Z","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-04T21:17:07.292335Z","title":null,"venue":null,"work_id":"790ddbe2-478d-4a06-8651-1864e2d4bc2a","year":1962},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.951059Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:cbc68957ed11f27a17f11cfe708f3ebd0f19acca98edae1c3fda9e9b64e1a976","observation_id":"ffa107ba-b3e7-46db-830f-5d3e2a28ebe7","resolution":{"observed_at":"2026-08-04T21:17:07.296124Z","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-04T21:17:07.279640Z","title":null,"venue":null,"work_id":"6f616173-35dd-4aca-bbfd-c22cf7d8875a","year":2025},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.955138Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:2d15a2a71b365a5d1318bc3b636c0f938d116e0a2ef027a05803cd8bd70c2ea4","observation_id":"6e88163d-f1a9-44b2-8f3c-6b8d536806e7","resolution":{"observed_at":"2026-08-04T21:17:07.283588Z","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-04T21:17:07.266858Z","title":null,"venue":null,"work_id":"b4823961-6ce5-4464-ac9c-3aa71d348d2d","year":2003},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.959078Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:9ff27d84801d9aee02717111881769cc308e13e61d56c6af47898b8a44446317","observation_id":"7528cf88-bf54-410b-a906-dd016c372710","resolution":{"observed_at":"2026-08-04T21:17:07.270832Z","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-04T21:17:07.254236Z","title":"Braüner, S","venue":null,"work_id":"6b120655-8ee4-46c1-9074-abea9702d476","year":2007},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.963008Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:8303bb5b039fc42a39d19bb3a6e5028dea81dfe622132f1248989469d3cbb2b8","observation_id":"989b0daf-216f-4782-8a95-c69d015f1381","resolution":{"observed_at":"2026-08-04T21:17:07.258374Z","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-04T21:17:07.142274Z","title":null,"venue":null,"work_id":"cfdf347b-42be-4867-9a2f-9faf0c1b28ca","year":2019},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.967396Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:3f5d0886b2691be15e6a263f76f0c2ecfb17631cc701b24719d3ae4604e07e4e","observation_id":"039e074f-8f7f-4659-bf38-42f09a013237","resolution":{"observed_at":"2026-08-04T21:17:07.146101Z","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-04T21:17:07.129916Z","title":null,"venue":null,"work_id":"1c7de72e-2e44-4816-a3cd-9f2818e9a925","year":2024},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.971946Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:11f81e507753ad9577b02ce23fddcecdc2b4b7968896f66eaf0ee463e7c267e6","observation_id":"70609b21-6845-47c4-a9a6-e492df293983","resolution":{"observed_at":"2026-08-04T21:17:07.133663Z","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-04T21:17:07.115966Z","title":"Pratt-Hartmann, Fragments of first-order logic, Vol","venue":null,"work_id":"b83a8627-a113-4b12-a85d-5408f7d740d6","year":2023},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.975706Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:bafa71526cb70946f4a0d63ac16d164c5e7047908492b7705ae1890e89dfa72b","observation_id":"5daa1a13-0493-4a00-ae3e-e905cc93dab1","resolution":{"observed_at":"2026-08-04T21:17:07.121169Z","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-04T21:17:07.103789Z","title":"Wolter, M","venue":null,"work_id":"39d9a474-3b43-4209-933f-904a92b1d11a","year":2001},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.979812Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:373ecb349255f7fbde43a121e188edf7e7ffbc562630c8baa25a18c9e8c7af20","observation_id":"f4a721f8-2173-40f9-8549-a9a9cf90b3f7","resolution":{"observed_at":"2026-08-04T21:17:07.107554Z","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-04T21:17:07.091725Z","title":null,"venue":null,"work_id":"c4c4d858-01ab-418d-8e94-787c261b7949","year":2003},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.983491Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:c676ac693d0dfd4798865b3b9cab71aeafc8ee727aee7832d526740c48ae2126","observation_id":"83fbdd82-de1d-4e2c-acdc-2d5cdbd28aff","resolution":{"observed_at":"2026-08-04T21:17:07.095564Z","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-04T21:17:07.079054Z","title":null,"venue":null,"work_id":"87f8c934-b1ce-4bf6-9ce3-d37f3a38032d","year":2006},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.987093Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:1c2f3d8a684b8c9d64a9e9e4eabfcb099ff54aca830227ec279a3976a4ea436c","observation_id":"cb0fe2cf-d9b7-48ab-9d35-b524461448c7","resolution":{"observed_at":"2026-08-04T21:17:07.082761Z","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-04T21:17:07.065928Z","title":"Degtyarev, M","venue":null,"work_id":"45d7bff7-ebee-434a-81fe-f94faf62a7e1","year":2002},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.991037Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:8a334c4b2a85fd69d19bdf3d05077f1eed9726db6a61bbd3d31bc9ecb1ac6bba","observation_id":"235487b8-cbcf-44b6-81a2-af339b011a3a","resolution":{"observed_at":"2026-08-04T21:17:07.069731Z","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-04T21:17:07.053054Z","title":"Hampson, A","venue":null,"work_id":"195d5c19-5918-4a89-b3a5-2362f495e727","year":2015},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.994820Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:9fefd21dca416a60aaceac5a81af8c3cb169bc04bc29d444e535a50afb872ace","observation_id":"c2157b8f-85f7-4737-80b8-ee73bc779877","resolution":{"observed_at":"2026-08-04T21:17:07.057006Z","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-04T21:17:07.039735Z","title":"Hampson, A","venue":null,"work_id":"a45cadeb-a373-4b23-aa60-886d5aade9b6","year":2012},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:05.998620Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:ce11be931196dd1b0265ffd53fe2eeef00591baa18d219929077fc1e71d328ad","observation_id":"ae11137a-f576-419e-9005-0f4b1b42c5d7","resolution":{"observed_at":"2026-08-04T21:17:07.043965Z","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-04T21:17:07.027014Z","title":"Linsky (Ed.), Reference and Modality, Oxford University Press, 1971","venue":null,"work_id":"c5846387-8ad1-456b-b1f9-eca4cf39400f","year":1971},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.002205Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:bb59d6918164b0ba12577c4c2000e6ddd2556e5104976bb7a4b5ee87d04ae002","observation_id":"481eff81-61d0-40d6-aafb-42e4727fcb9d","resolution":{"observed_at":"2026-08-04T21:17:07.031076Z","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-04T21:17:07.013991Z","title":"LaPorte, Rigid designation and theoretical identities, Oxford University Press, 2012","venue":null,"work_id":"27cf6229-005d-456c-8dd4-9dd9acaed023","year":2012},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.005751Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:43dac017c8eabc9af7e3ba9f8ba8e16fca254daf590168c011b1bec8203f8e2a","observation_id":"fc13775f-af77-4e2d-afb8-879eb59e71b0","resolution":{"observed_at":"2026-08-04T21:17:07.018344Z","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-04T21:17:07.000701Z","title":"Martí, Reference and theories of reference, in: The Cambridge Hand- book of the Philosophy of Language, Cambridge University Press, 2021, pp","venue":null,"work_id":"fd134f65-cfe6-4e86-9b3d-43d829b8925a","year":2021},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.009270Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:8bd6ec56c8304d74183d6f8159c1a4c610e305b12757569609b8aa62d9e2940e","observation_id":"316890c5-53a3-4961-b643-f2bc00656acd","resolution":{"observed_at":"2026-08-04T21:17:07.004959Z","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-04T21:17:06.986646Z","title":"Kürbis, A binary quantifier for definite descriptions for cut free free logics, Studia Logica 110 (1) (2022) 219–239","venue":null,"work_id":"6379860c-3544-4fb0-a243-a75cd3332a5e","year":2022},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.012797Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:16ebf2955915b22bca37479a8d9dae2099b10295812a16285302580113558adf","observation_id":"dc41fbd9-b98a-4f0a-ac9c-815e13531124","resolution":{"observed_at":"2026-08-04T21:17:06.991448Z","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-04T21:17:06.972567Z","title":"Indrzejczak, Russellian definite description theory — a proof theoretic approach, Rev","venue":null,"work_id":"6bd5c0e1-ec53-46c3-975f-a86c4a7e0ac6","year":2023},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.016448Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:9904746153b2156fc53285347a08d98f4a01210cb5dba66fbad2e3f223a40bfe","observation_id":"0d40b7e9-5314-4f27-b19f-a770b94bfc9f","resolution":{"observed_at":"2026-08-04T21:17:06.976810Z","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-04T21:17:06.959034Z","title":"Petrukhin, A binary quantifier for definite descriptions in Nelsonian free logic, in: Proc","venue":null,"work_id":"cf3ebd78-9216-4556-b4e1-a3bf7e47b35c","year":2024},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.019927Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:c3945a1f0b849c642d8cf2b48454f606ae77b042df2be9defb830f39bee6d265","observation_id":"d3414a30-86ac-4f87-888c-36298203d0bd","resolution":{"observed_at":"2026-08-04T21:17:06.963336Z","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-04T21:17:06.946208Z","title":"Artale, A","venue":null,"work_id":"9d9a4a40-2b66-4ed7-ab6d-6f6981f48821","year":2020},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.023619Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:35e660e574c8832e6fc460924a453012cadb0c52d12f6d9d2f7f87fbfeb742b7","observation_id":"ef6eb4a4-aa3b-4a9b-b31d-90035f5635eb","resolution":{"observed_at":"2026-08-04T21:17:06.950102Z","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-04T21:17:06.933680Z","title":"Neuhaus, O","venue":null,"work_id":"11e23aad-9463-4797-81c2-43ae8869f764","year":2020},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.027449Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:c3b50954cb1320464be685097b1c8a734acc0fed5fe8cd545c4cb04edca982cb","observation_id":"d61ecfa7-220e-438d-bfdd-f3ff0d90a669","resolution":{"observed_at":"2026-08-04T21:17:06.937384Z","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-04T21:17:06.921972Z","title":"Artale, A","venue":null,"work_id":"45bfed1f-9e71-4d79-8f72-9f6fc896f813","year":2021},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.030943Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:6b6daeca62bb02eb23453a3203b9619e982af06ee64b465f425ecb100981e15d","observation_id":"38ecbeb2-be03-4c95-ac05-caa8d4e25fa8","resolution":{"observed_at":"2026-08-04T21:17:06.925734Z","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-04T21:17:06.908759Z","title":"Indrzejczak, Existence, definedness and definite descriptions in hybrid modal logic, in: Proc","venue":null,"work_id":"00b43656-6cbe-4af2-81b3-f2882ea5f2e0","year":2020},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.034435Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:2fa69c470590be14aaafddbc453b1307989ceaff24c1058bf930b6daf56e2a18","observation_id":"edee48bd-9c17-4e08-9a8e-a1875506ca90","resolution":{"observed_at":"2026-08-04T21:17:06.913003Z","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-04T21:17:06.895814Z","title":"Orlandelli, Labelled calculi for quantified modal logics with definite de- scriptions, J","venue":null,"work_id":"1cfb00b5-fdb6-433e-88e0-ada85517d626","year":2021},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.038028Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:472db4fe0b056fec8e78efb81958853334c01075f600653e91509d014018d83d","observation_id":"9578d7e0-5ee9-4197-9b2e-bb308cea4415","resolution":{"observed_at":"2026-08-04T21:17:06.899810Z","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-04T21:17:06.882318Z","title":null,"venue":null,"work_id":"5d3c4587-83cf-49f3-82f6-93d58bfaf9e1","year":2023},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.041634Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:3aaee7d1e005a9c6b0775569380150ef5cf1ab5c569d02240f65e7d45ae17af2","observation_id":"6c285071-eda5-44e6-862f-495a683e13ed","resolution":{"observed_at":"2026-08-04T21:17:06.886274Z","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-04T21:17:06.868986Z","title":null,"venue":null,"work_id":"4f25996e-4f43-4efd-91ca-5bb347b6caaf","year":2024},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.045185Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:11a31db730f64fe209897f592d9fa0131a73a05253b11043a73bc7af4ff03213","observation_id":"13465496-bb8a-400d-a244-757ac95956de","resolution":{"observed_at":"2026-08-04T21:17:06.872784Z","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-04T21:17:06.856107Z","title":null,"venue":null,"work_id":"f64d18e8-6631-4582-a6b5-08a7dff31721","year":1962},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.048848Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:39368a30fa42694eea31f9edf2218f430bb8827153728e929b747832fbc4a852","observation_id":"a7a97cee-88d0-47c0-8994-39bee0afc886","resolution":{"observed_at":"2026-08-04T21:17:06.859872Z","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-04T21:17:06.843398Z","title":"Lomuscio, M","venue":null,"work_id":"6be3e5c2-919e-499f-b4dd-7b21f18c20e2","year":1996},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.052788Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:efc5457291ec30a588b2da7684da2725b5e2aa65b6aed31aaee671d9e0fdeaf8","observation_id":"b435da6e-4958-494c-a504-286560d10293","resolution":{"observed_at":"2026-08-04T21:17:06.847391Z","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-04T21:17:06.831105Z","title":"Belardinelli, A","venue":null,"work_id":"09ba9c42-401b-4ab6-ac1d-8e58e238d73b","year":2009},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.056670Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:6314c05792ef81a10720cf51fe5fe4075fe08716745e96acade1701b1117694a","observation_id":"0e6a5fdd-c291-4e51-880b-cb44e042211f","resolution":{"observed_at":"2026-08-04T21:17:06.834908Z","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-04T21:17:06.817853Z","title":"Wolter, First order common knowledge logics, Studia Logica 65 (2) (2000) 249–271","venue":null,"work_id":"5d4a3da8-2011-44f6-989a-492cad66d6a5","year":2000},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.060229Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:01ccd7f1a22a54246997419d3afc8b8a20b10318567b49ecb66a60910f340a28","observation_id":"e840fe6c-dda9-4650-9393-c8642dd2b9ef","resolution":{"observed_at":"2026-08-04T21:17:06.821989Z","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-04T21:17:06.804598Z","title":"An EATCS Series, Springer, 2008","venue":null,"work_id":"cb7044e1-f593-4b46-9afa-c0ab12ca6b79","year":2008},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.064018Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:86fbace6e289a5afb809789ace14d52254de193d86bc00a6bc3618e2d638b881","observation_id":"271817ca-d637-4d81-871e-473cb72de8b4","resolution":{"observed_at":"2026-08-04T21:17:06.808706Z","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-04T21:17:06.792235Z","title":"Indrzejczak, M","venue":null,"work_id":"8b1da81f-f473-4eab-b9ae-6a25d6bf8b57","year":2023},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.067681Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:d370fbcff9b07224d9c7ff7ac784606a4c46a310ee9ad48d5fec1f5940212926","observation_id":"2b6dac57-9159-4a4b-a1ce-12c254b3c6ad","resolution":{"observed_at":"2026-08-04T21:17:06.796045Z","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-04T21:17:06.779763Z","title":"Geatti, A","venue":null,"work_id":"9054a877-d5e2-4fa2-bdcf-376d1e422570","year":2022},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.071373Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:71de955eea28bcfcf8954ef8d7e2cbb203f809b5c6ae2717c0f4a3920cf38178","observation_id":"bd09ec81-6743-44b7-9a26-4d3db1ae6459","resolution":{"observed_at":"2026-08-04T21:17:06.783534Z","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-04T21:17:06.767086Z","title":"of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS’97), IEEE Computer Society, 1997, pp","venue":null,"work_id":"4842a8de-d07c-454f-b3f4-9f07222781cd","year":1997},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.075016Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:718de6df1b5d6bf839162361f5ab7a3ba484830068b0c6eaaeff177d465a3071","observation_id":"aac7cc45-98e6-4c95-8a23-0040adf3ebf2","resolution":{"observed_at":"2026-08-04T21:17:06.771263Z","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-04T21:17:06.754275Z","title":"Pratt-Hartmann, Complexity of the two-variable fragment with counting quantifiers, J","venue":null,"work_id":"079e189c-cc5d-402b-bc13-b309b807e42e","year":2005},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.078655Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:335eb046f21672057c93bdf43dfb7bba29e3ba81134892fc4fc30978033f3f0b","observation_id":"3ed1a881-66a7-4952-85f2-6db5db81dfc0","resolution":{"observed_at":"2026-08-04T21:17:06.758202Z","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-04T21:17:06.741174Z","title":"Pratt-Hartmann, Data-complexity of the two-variable fragment with counting quantifiers, Inf","venue":null,"work_id":"c97308d7-e3df-4c19-be0c-31ccfc80111a","year":2009},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.082631Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:68e2ddffd581d4dcf3624a62120d4c7519aa9eabed0334f5c8fee5a79f70e7b6","observation_id":"cdf08bee-1411-4f46-be96-bb0b1e87531b","resolution":{"observed_at":"2026-08-04T21:17:06.745337Z","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-04T21:17:06.728618Z","title":"Andréka, I","venue":null,"work_id":"0aba5a3b-bece-4f89-a886-23dd4df439ed","year":1998},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.086956Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:50bec009986cfaa6bcbfacf2a3a558e8f1986ed06c2e558ff79a83c066850d45","observation_id":"74036bb9-8454-4086-a0e2-09f13019dd12","resolution":{"observed_at":"2026-08-04T21:17:06.732310Z","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-04T21:17:06.716037Z","title":"Grädel, On the restraining power of guards, J","venue":null,"work_id":"b3c72d64-dd10-4fa1-b266-f50294017f86","year":1999},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.092295Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:bfe6d357be2b412d7ee1dde8fe8b5676fd80b62558eb704648fb78dcaf262e3c","observation_id":"2fe9268c-62e8-4331-aef5-548048b6c0c4","resolution":{"observed_at":"2026-08-04T21:17:06.720115Z","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-04T21:17:06.703198Z","title":"Bárány, G","venue":null,"work_id":"ee19d4e1-ab5a-4a4c-ac36-c34e647cb236","year":2014},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.095856Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:b7ba0892e5825f7fd9a980f51967665f5106116159fb5e4637483b849c9e8c64","observation_id":"a566a138-40de-4973-8a41-76377851c508","resolution":{"observed_at":"2026-08-04T21:17:06.707398Z","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-04T21:17:06.690731Z","title":"Artale, R","venue":null,"work_id":"7d28c7ec-3835-472d-ac3b-eb039ecf0a30","year":2024},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.099479Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:f4aa228b924e876df7dd072fc08c4ca1ed7b865a081209718061bcc782ed80c5","observation_id":"70d9be41-03f6-4925-aa80-25bfc8edaf0a","resolution":{"observed_at":"2026-08-04T21:17:06.694495Z","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-04T21:17:06.678709Z","title":"Artale, R","venue":null,"work_id":"5d6c9321-76e0-45ae-9779-72b8704b4a8d","year":2024},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.103146Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:23602ceacb76b1b15edb6b4800dd3bac60edb66c95493da870485ae33b32b9dc","observation_id":"c134f6be-a532-402f-ad25-7a2cef443879","resolution":{"observed_at":"2026-08-04T21:17:06.682453Z","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-04T21:17:06.666121Z","title":"Fitting, R","venue":null,"work_id":"cc04894b-f45d-4e02-a306-44f9683c85b1","year":2012},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.106688Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:df36e090f232f7fadc25b0f52eb4ba3d61f1b425dfc029cdd880ee4e1de43721","observation_id":"3f55c59e-e29a-4bd7-811c-d83314ed7a1f","resolution":{"observed_at":"2026-08-04T21:17:06.670096Z","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-04T21:17:06.654006Z","title":"Marx, Complexity of products of modal logics, J","venue":null,"work_id":"fde557da-a323-4e17-be7b-f0b2667c4fa2","year":1999},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.110379Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:bd7746a3745d3c6a811c49a97f1e0ab776a92c7453546da552fe261d26e160bf","observation_id":"0a8d85e3-0438-4548-ae02-7173032c8147","resolution":{"observed_at":"2026-08-04T21:17:06.657901Z","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-04T21:17:06.641503Z","title":"Gabelaia, A","venue":null,"work_id":"e0736044-179c-439f-bc32-99418d71e191","year":2006},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.114540Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:795ebd4e93a1b122d83bf9397d4379723316270607b999f4cca9267048a8bb15","observation_id":"f4a62e7b-9f2b-4a87-b7e6-c94b6759ea6e","resolution":{"observed_at":"2026-08-04T21:17:06.645476Z","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-04T21:17:06.628277Z","title":"Hampson, Decidable first-order modal logics with counting quantifiers, in: Proc","venue":null,"work_id":"2befed8b-45e5-484f-9512-4d3787350a1f","year":2016},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.118366Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:5e4fba7c0bac23c145738ff7de64588d70ab5985995b8d2f6ff627f89a42bb7d","observation_id":"98ae67a3-c00b-4272-a044-600f852b220d","resolution":{"observed_at":"2026-08-04T21:17:06.632338Z","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-04T21:17:06.616190Z","title":"Gargov, V","venue":null,"work_id":"452895a3-7fd7-447a-9361-d84d7d19fb34","year":1993},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.122025Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:54a86b59a08df71b3d9d2aac799ea8ee5c424cc73c80c983204f5fa3ccaa8eb3","observation_id":"ec30bd87-646b-4c24-904b-017497da3942","resolution":{"observed_at":"2026-08-04T21:17:06.619927Z","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-04T21:17:06.602952Z","title":"Lasaruk, T","venue":null,"work_id":"759fc01f-fef5-4439-8753-cb759a83f30f","year":2009},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.125606Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:e1ab58ca297a56f21d2509c3054a01ec2ccfd411ddb3b43d03ab696087cc5532","observation_id":"4781b520-fce3-4478-ab68-20608733f7c2","resolution":{"observed_at":"2026-08-04T21:17:06.607269Z","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-04T21:17:06.589737Z","title":null,"venue":null,"work_id":"d27c43c4-940a-4e63-86f7-aa6739ef1584","year":1977},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.129281Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:19dfb4d3268c52138e1fbc60b1367d00bc79c40914f7bc3d0f8c92518aa54cde","observation_id":"536d4c22-7526-4d36-a028-fc9c791d4193","resolution":{"observed_at":"2026-08-04T21:17:06.593546Z","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-04T21:17:06.576877Z","title":"Schmitz, P","venue":null,"work_id":"f90d37d1-a2e1-476d-bb8c-db23d4c2cdf9","year":2011},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.132851Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:e6733d8beef7acb732817616485547ac850d5575059c2fcbd09afe565a53d88a","observation_id":"c03d0fdc-9cdb-4f6b-a22c-45e3a75bed0d","resolution":{"observed_at":"2026-08-04T21:17:06.581001Z","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-04T21:17:06.563782Z","title":"Figueira, S","venue":null,"work_id":"e2889bcb-f137-4df8-833a-b4128811c397","year":2011},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.136487Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:3dbdd91d379a9ac633549a622db348f12ca702706fc3c335d322eb6676ec83ec","observation_id":"aadec918-868d-43f2-867c-406b4b4d0bde","resolution":{"observed_at":"2026-08-04T21:17:06.567849Z","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-04T21:17:06.550348Z","title":"Spaan, Complexity of modal logics, Ph.D","venue":null,"work_id":"f3c75ae7-36ce-4f50-be22-6e9b9a5537ac","year":1993},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.140146Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:ae86ed8acad5e1e634a8380042719f12ac9168f2e0b7e2aff5e7084679fbf06f","observation_id":"11203c59-52fc-476b-a811-68f6668e4d20","resolution":{"observed_at":"2026-08-04T21:17:06.554521Z","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-04T21:17:06.536544Z","title":"Blackburn, M","venue":null,"work_id":"19a64536-9e13-4458-aac8-f21a17809c6c","year":2001},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.143631Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:abc620344a0af2cdfd43894f457a87e58e650b797ad0c6bfaf616d4a8addba5d","observation_id":"3a72af50-b647-400d-a346-d0f3c551e966","resolution":{"observed_at":"2026-08-04T21:17:06.541107Z","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-04T21:17:06.522270Z","title":"Degtyarev, M","venue":null,"work_id":"4024eaac-0ddc-4a34-bdd8-dbc3d141c691","year":2006},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.147545Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:8e3aa845b5d1838ba7080d2a2f6940f3ca52a044d7990d9fa4bccc2b357e8be5","observation_id":"786a36c7-de1b-4514-8d7f-6e6272a77c32","resolution":{"observed_at":"2026-08-04T21:17:06.526663Z","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-04T21:17:06.508756Z","title":"Kourtis, C","venue":null,"work_id":"ce4987be-2bbf-4293-9167-6eefe09f6c61","year":2025},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.151170Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:6a33ec93040d2c8d2ceaadce193dba26a9c5ae6b9f86381fe08b68dd7940eef3","observation_id":"2a48531e-e9de-4ead-9a56-e4bbb93ceaa7","resolution":{"observed_at":"2026-08-04T21:17:06.513124Z","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-04T21:17:06.494577Z","title":"Semantic properties, decidable fragments, and applications, ACM Trans","venue":null,"work_id":"54682dc0-97a8-4bac-9853-bdf5f718ea93","year":2024},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.154913Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:35fd2de790ca933b1f184e19f4f50e5d4a54ea2c6a95e88db073926f9b01ddf9","observation_id":"ccf51d8b-4fef-41df-8f35-60feae4d69da","resolution":{"observed_at":"2026-08-04T21:17:06.499461Z","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-04T21:17:06.481627Z","title":"Konev, F","venue":null,"work_id":"5ee227aa-e33a-4d58-acf2-13721d472e33","year":2005},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.158481Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:14c4717ed0dd8495dfe2a7ae0490717f091de00348640fb0a049db0ebcd057a6","observation_id":"a0a4bff9-21ff-4ed4-980f-2e32ea3ec5d4","resolution":{"observed_at":"2026-08-04T21:17:06.485459Z","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-04T21:17:06.468426Z","title":"Bárány, M","venue":null,"work_id":"63329a9f-47b8-4df3-a084-062a60d97b92","year":2018},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.162093Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:dbdbfd9f86e622561d3396f45b6795671faac101c6d93205b1bd2051217e5877","observation_id":"e7bda035-a977-4f35-8b98-ce6f00987ee3","resolution":{"observed_at":"2026-08-04T21:17:06.472440Z","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-04T21:17:06.454537Z","title":"Pratt-Hartmann, L","venue":null,"work_id":"277768b1-1ff6-41d0-a298-38cfaeb4bb53","year":2022},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.165741Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:58251a95078c177c34c72936d5cdb47ab0d3aa9792e89ec310ded697121dc0c3","observation_id":"6ca70719-3f46-4aaf-a5c1-d1186494ca0e","resolution":{"observed_at":"2026-08-04T21:17:06.459041Z","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-04T21:17:06.441741Z","title":"Pratt-Hartmann, L","venue":null,"work_id":"d58ba22b-dd96-428e-ad6f-c5080940ab2b","year":2023},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.169497Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:037262df283c9f95e00066b0cd1152c94defbf3de6beec550071d41251ded3ae","observation_id":"ec6d8b78-8241-432d-9e90-81daec2a55a8","resolution":{"observed_at":"2026-08-04T21:17:06.445643Z","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-04T21:17:06.429259Z","title":null,"venue":null,"work_id":"9e5c28bd-c2b6-4780-9fa6-c9c047e85ec5","year":2008},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.173371Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:d7e10e1e9df412aa39f32dba68471d87b808fb443b04045d482f3f4490039b6f","observation_id":"185eed0e-e00f-4983-a360-3793742dfe23","resolution":{"observed_at":"2026-08-04T21:17:06.433190Z","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-04T21:17:06.416171Z","title":"Baader, S","venue":null,"work_id":"1a5a4880-5e46-4936-bdd4-c832398ffe94","year":2012},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.177214Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:05eb7e9eb5f8fa32fee186b3bfdc52860af81719a253e3eeb4c9138960d91c6b","observation_id":"f215c749-2367-4ed3-bd7e-95ed26db0996","resolution":{"observed_at":"2026-08-04T21:17:06.420250Z","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-04T21:17:06.403272Z","title":"Artale, R","venue":null,"work_id":"c052e5bd-ea85-4f6b-a833-692cb5d47552","year":2014},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.180789Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:e5951a3708f358717afedd986d3fd2e1776464943838da844f079498886dc483","observation_id":"32126b2c-35f9-419c-85f3-1e4cd6e0e334","resolution":{"observed_at":"2026-08-04T21:17:06.407063Z","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-04T21:17:06.390519Z","title":"Baader, S","venue":null,"work_id":"2b8fcf46-d8a2-4e2f-927d-01f5dc5fed03","year":2020},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.184460Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:450beb8d2e3aa569d1f53754a8eca5ea73b5f3c3b34561f7f915cd111f7395f9","observation_id":"0b5bbd95-cb63-4b3e-a2b4-11754c471975","resolution":{"observed_at":"2026-08-04T21:17:06.394664Z","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-04T21:17:06.376775Z","title":"Artale, R","venue":null,"work_id":"80e094fc-9096-4ff8-b774-ee7360973643","year":2017},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.188153Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:86f66e92cc6dcdc3b6d4d6cac755684c8c8db61fa63a1f7089d40376049b9479","observation_id":"d9f9a741-632a-4b10-8025-b615b143eb4b","resolution":{"observed_at":"2026-08-04T21:17:06.380818Z","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-04T21:17:06.363282Z","title":"Cuenca Grau, I","venue":null,"work_id":"c7cca9c1-9b56-4ef9-b1bf-4d5e53569750","year":2006},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.191650Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:d42bb2e10fb5b0602f07ee0c0b9d166ed7cdf64fb3c197d7cfaf304e1abf6d50","observation_id":"399bb9aa-e6df-4a00-a16d-2b3ab033bb96","resolution":{"observed_at":"2026-08-04T21:17:06.367213Z","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-04T21:17:06.349505Z","title":null,"venue":null,"work_id":"e5cc9a62-1e27-4392-859f-4eb6c5ca6902","year":2023},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.195340Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:8ab6844925163bc1959107fd6e1d6b5f48ebe3f2b81f7e26c31937ee5f7b1e19","observation_id":"19156bff-c154-4cf6-a4f0-dbe74cf0bff8","resolution":{"observed_at":"2026-08-04T21:17:06.353454Z","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-04T21:17:06.336287Z","title":null,"venue":null,"work_id":"51c537b7-d415-4447-b4c6-ce5aa040455d","year":2022},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.198894Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:95f2678be7b70499bc97b69835243ae007cc5aac61e7e0bf88f23d8fb0143054","observation_id":"c0803b68-8009-41a7-ad11-3d404a36c7c9","resolution":{"observed_at":"2026-08-04T21:17:06.340311Z","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-04T21:17:06.322191Z","title":"Fitting, L","venue":null,"work_id":"f9e6ceec-a6ea-40f7-8a57-193dd6f565ad","year":2001},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.202588Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:19a0bf7787c478d103429e6c2035b25b542435793780db424ccda9847a057eeb","observation_id":"34aa44d4-56ef-4587-8272-24d6f31dd1cc","resolution":{"observed_at":"2026-08-04T21:17:06.326434Z","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-04T21:17:06.306505Z","title":"Kooi, Dynamic term-modal logic, in: Proc","venue":null,"work_id":"6228c5ba-f7f1-471e-8829-6f7e565448bd","year":2008},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.206326Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:9843caf419e94ab62aca9a077876e98e5fd75ce3b9db66e076a39141b3efcfa6","observation_id":"c9c160cf-df4b-4fd0-9469-bfb64a225c4a","resolution":{"observed_at":"2026-08-04T21:17:06.311249Z","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-04T21:17:06.293013Z","title":"Corsi, E","venue":null,"work_id":"a6f5988b-4cf0-4b27-a1fb-6806b52ac764","year":2013},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.209836Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:10a24aa678dca71cda1d57000823b3a12068c9a0ba93070467ad3bf9ca87fe6d","observation_id":"7822551a-dd24-4684-9173-85ac5d0c6fbf","resolution":{"observed_at":"2026-08-04T21:17:06.297071Z","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-04T21:17:06.278247Z","title":null,"venue":null,"work_id":"a6f6ff38-8be3-40b8-9a9a-0f66192391e8","year":2020},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.213325Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:01b86bd48b44d5093fe69fa9cc9e672517a99396a42215301dfbe9ae0cbd5eec","observation_id":"7b318420-d490-4b2d-bf7c-1701b10970ef","resolution":{"observed_at":"2026-08-04T21:17:06.282910Z","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-04T21:17:06.264948Z","title":null,"venue":null,"work_id":"25450cdf-6b2a-41e8-8bef-3e5213cd9dc3","year":2022},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.216897Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:ad79f73e2ff9b6f879e24a0feb950f2f8749242921be13ffb2d19f33b1fd7645","observation_id":"a632d053-c97c-47a1-865f-1d98fad5a2e3","resolution":{"observed_at":"2026-08-04T21:17:06.268944Z","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-04T21:17:06.250236Z","title":"Padmanabha, R","venue":null,"work_id":"0f741b9e-30be-43f5-91ae-611bccc4d121","year":2023},"citing_paper":{"arxiv_id":"2509.08165","last_updated":"2025-09-09T22:00:28Z","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-04T21:17:06.220523Z"},"links":{"citing_paper":"/paper/2509.08165"},"observation_digest":"sha256:4a4096458abc4cfe261d9e2a058409e7706a55d7f5553895fa71a5d4be4e868f","observation_id":"f9c95609-7470-4f1a-bc3a-5bdfc77f3c95","resolution":{"observed_at":"2026-08-04T21:17:06.254978Z","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":"2509.08165","last_updated":"2025-09-09T22:00:28Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-11T23:54:20.062211Z","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions"},"reference_resolution":{"displayed":74,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":0,"verified_fuzzy":58},"total_outbound_references":74},"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 12 August 2026, this Paper Citation Record lists 74 of 74 outbound references and 1 inbound Pith citation observation for arXiv:2509.08165."}