{"as_of":"2026-08-11T11:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9bb29a8c2317c19b4355dc0eab9b44340bfda408f7d562cb6f46052c4d8fbcc4","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T23:06:47.299722Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2501.00495/citation-record","integrity":"/paper/2501.00495/integrity","json":"/paper/2501.00495/citation-record.json","paper":"/paper/2501.00495"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0049-237x(08)70515-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.732760Z","title":null,"venue":null,"work_id":"12181e3d-b803-43f1-93f5-c6b058ad2c7f","year":1968},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:46.983016Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:46a866cb57d92f60d68171997c5af7cad9ebbffefb2aad0d62cc3b7d9c6d1986","observation_id":"e2337733-47dd-4bd4-b620-b76cec2922c5","resolution":{"observed_at":"2026-08-10T23:06:47.738217Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:46.989785Z","title":"The Journal of Symbolic Logic 49(1), pp","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:46.989785Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:5c4b6b6e9b1d13f77388bbc6ef50a425cf0c9a9547ac54c7136a7fb9a24bf69e","observation_id":"174eed18-ea00-4cf4-b974-6f4c8f3e3003","resolution":{"observed_at":"2026-08-10T23:06:46.989785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/malq.201200083","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.704723Z","title":"Mojtaba Mojtahedi (2014): Completeness of intermediate logics with doubly negated axioms","venue":null,"work_id":"4d40526d-9cde-4de4-b827-41803915cd37","year":2014},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:46.995202Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:ed3d1e29a387921079f9dd628daea46568a10c7eeb0edbccd687073c15fb78d3","observation_id":"c747ccac-90dc-4bd7-9c5a-ee0a3116ee66","resolution":{"observed_at":"2026-08-10T23:06:47.710737Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11787-020-00254-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.688305Z","title":"Logica Universalis 14(3), pp","venue":null,"work_id":"080d08c8-7701-45d4-b0e3-de6691679733","year":2020},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.001210Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:5af03173dfa1350c7755b51f8204d336147b6a92d378c7843b375d1805c401f3","observation_id":"32103946-00d6-4ae1-8940-715fadcbbaf7","resolution":{"observed_at":"2026-08-10T23:06:47.692940Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:48.156447Z","title":"Logique et Analyse 185–188, pp","venue":null,"work_id":"8542eb5c-8944-4188-a5d2-436884ee8a17","year":2004},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.007488Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:ae883f30d86fbc37e30d029ac36a055e56cd6e5a97351a73f6b509e538385c68","observation_id":"9b48d140-be74-41d9-bdb6-f83c037777cc","resolution":{"observed_at":"2026-08-10T23:06:48.161652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:48.139471Z","title":"Logique et Analyse 54(213), pp","venue":null,"work_id":"2ff01820-b7a3-4559-aa87-7e5336d8c46a","year":2011},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.012451Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:7aaea084906714d1a8a3b7b155c4df42c5fc9d19d62d2a6248ebd3039f89c2d1","observation_id":"bb7b22df-1fb7-4a49-ab5b-e765f0282e4c","resolution":{"observed_at":"2026-08-10T23:06:48.145274Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.017800Z","title":"Oxford, doi: 10.1093/oso/ 9780198537793.001.0001","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.017800Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:9568ca983217d7313c1d159574dc3602365b4f4ee8f9e0e4985c9f838ef16826","observation_id":"19ae0c92-1ec5-4ffe-bbd9-a46ad045fb09","resolution":{"observed_at":"2026-08-10T23:06:47.017800Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.022542Z","title":"Studia Logica 103(4), pp","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.022542Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:10871e7080182a517a7609fb7514d44d044302e7c77a6c8bf186a882f57d7320","observation_id":"21fa8006-d10c-4d9f-8980-6bf18a44b1c4","resolution":{"observed_at":"2026-08-10T23:06:47.022542Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10958-015-2254-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.651233Z","title":"Journal of Mathematical sciences 205(3), pp","venue":null,"work_id":"af005571-f78b-452b-a104-73ddd29324ac","year":2015},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.027190Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:66a5c65786f897cc2703a23ae557647534f893fa091c3e157dd0e2a498c35c52","observation_id":"26f1f8b2-f2b6-45e4-aee9-926b75a8ad8d","resolution":{"observed_at":"2026-08-10T23:06:47.655836Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:48.121506Z","title":"In Katalin Bimb´ o, editor: Relevance Logics and Other Tools for Reasoning","venue":null,"work_id":"f1a16b79-a465-4a27-9c13-cfad06ee4688","year":2022},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.031623Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:67481cd50e5cac32fd5b986ab8377a65ba7855d0a1347653da56de0da3dac4d3","observation_id":"5a5045fc-5956-488e-a957-7748715b6941","resolution":{"observed_at":"2026-08-10T23:06:48.126662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/jsl.2017","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.634164Z","title":"The Journal of Symbolic Logic 83(3), pp","venue":null,"work_id":"0a96b4e1-8e9c-4320-8a54-179ba7df9b27","year":2018},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.036117Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:b0ea1205fc94e264492950200e19e1e29a8e505ebd50cd08edfaf5c0ff6be7f2","observation_id":"c3dfea03-a78c-4141-9e28-469cfa36b44f","resolution":{"observed_at":"2026-08-10T23:06:47.639899Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2272556","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.617481Z","title":"The Journal of Symbolic Logic 37(1), pp","venue":null,"work_id":"a39bc75a-8644-4b8d-ac3e-861b0c155c1c","year":1972},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.042319Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:7bbff38082d40dcac0ad6c9dc27f887f1d99ce28ee4058492889cebb1afccc76","observation_id":"06a30185-12a3-4085-b87f-372cdc5f1339","resolution":{"observed_at":"2026-08-10T23:06:47.622558Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01620621","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.600645Z","title":"Archive for Mathematical Logic 29(2), pp","venue":null,"work_id":"a179c822-ede2-44e5-abd0-4a52ead83a3b","year":1989},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.047991Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:9dd7ddb5dcf292ed1ef2f450e623864dec8c989e245fbb58d97755109d9b75c6","observation_id":"780a9b4d-8c82-4b15-8b0e-e1657c9f2698","resolution":{"observed_at":"2026-08-10T23:06:47.606619Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.053205Z","title":"Studia Logica: An International Journal for Symbolic Logic 36(1/2), pp","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.053205Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:0068300004bd7e5d5317e5156ff71c6eb25f3d65b7cf7d05ec9a51415758eafd","observation_id":"735139d0-50bd-4522-9350-b3c2b4d7f871","resolution":{"observed_at":"2026-08-10T23:06:47.053205Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1093/jigpal/11.6.615","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.572618Z","title":"Logic Journal of IGPL 11(6), pp","venue":null,"work_id":"68b93cac-da3e-46be-ab0b-207ee1eb263f","year":2003},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.058483Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:d4811c803dbc46cac373490d533c2f95fb80c6d7ffb0be8f52f122b5442a89d4","observation_id":"3300e826-eaea-43c1-b60c-01675678b42b","resolution":{"observed_at":"2026-08-10T23:06:47.577311Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:48.106177Z","title":"Journal of Logic, Language and Information 30, p","venue":null,"work_id":"253fdc31-44e1-477b-a44e-bc6cb8a7e717","year":2021},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.063654Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:83132c2a500462892cf60f6d9a24c69ec0d96c90b73df96c2fc4e728fa575c2d","observation_id":"009f947c-65b6-4283-8db9-ef7b4310c492","resolution":{"observed_at":"2026-08-10T23:06:48.111247Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:48.089902Z","title":"In Katalin Bimb´ o, editor: Relevance Logics and other Tools for Reasoning: Essays in Ho nor of J","venue":null,"work_id":"9bc94a8a-a599-4b4c-8561-0b9e168ab1ad","year":2022},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.068298Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:9ef9b6fa1230621d2d43ef6d1dbf36682fce10fff84611b9246107982fc5fa36","observation_id":"b48757de-17c6-4cc1-8fe2-84a1905f4ee9","resolution":{"observed_at":"2026-08-10T23:06:48.095752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:48.073900Z","title":"In: International Workshop on Logic, Rationality and Interact ion, Springer, pp","venue":null,"work_id":"5fc537df-e8f3-47a4-a429-d08740c8feeb","year":2017},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.072979Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:6ef5c4843fa8f899d07377128ba3e7554d40c6488d4ac869923b154fbc09e027","observation_id":"07223460-165b-402a-9786-d903921d459e","resolution":{"observed_at":"2026-08-10T23:06:48.078934Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.12775/llp.2010.002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.557710Z","title":"Logic and Logical Philosophy 19(1-2), pp","venue":null,"work_id":"05b19f5a-d2bb-48a8-b734-694b28b5d136","year":2010},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.077857Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:874dbd51f45746ca2dc98b1168b744c0d11c3b24a6b760995d75e0a8b2528570","observation_id":"2db8e86d-adda-4117-9f97-06bc1d17d168","resolution":{"observed_at":"2026-08-10T23:06:47.562524Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:48.056613Z","title":"Logic and Logical Philosophy 28(3), pp","venue":null,"work_id":"7913ff1d-78ae-4901-a55f-68abee72a81a","year":2019},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.185978Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:579b90141ea61a333461e873d8ec3830d3d89b5993a58f8f6e9743f2f9e428ac","observation_id":"c72489ab-c73d-4d42-913d-c4323b2acbe3","resolution":{"observed_at":"2026-08-10T23:06:48.061100Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:48.039577Z","title":"Reports on Mathematical Logic 15, pp","venue":null,"work_id":"abde4f9e-cc1b-49bd-997f-489ae2ea260b","year":1983},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.191225Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:92fed66de3fdb27dfae0a2854011274bebe96e51f03e50b46190719fc4edd24a","observation_id":"b59d3065-cf9e-4b0b-9e9d-5a5e700a75b6","resolution":{"observed_at":"2026-08-10T23:06:48.044891Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10992-018-9467-0","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.542124Z","title":"Journal of Philosophical Logic 48(2), pp","venue":null,"work_id":"f92b62c7-aa3d-4cda-b8aa-6cfdca8db8ad","year":2019},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.196499Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:034cebb8991adf3819db737e1f93c0324d08346e3fafe21472213b6f2c5a543e","observation_id":"f751ccbc-3044-4fdc-8e67-bde78c006541","resolution":{"observed_at":"2026-08-10T23:06:47.547152Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[{"edge_observation":{"observed_at":"2026-08-11T00:18:04.654096+00:00","source":"paper_reference_links","state":"open"},"event_date":"2019-01-03","event_type":"correction","notice_doi":"10.1007/s10992-018-09497-2","provenance":{"observed_at":"2026-07-11T03:01:36.609927+00:00","source":"crossref","source_record_id":"10.1007/s10992-018-09497-2->10.1007/s10992-018-9467-0:correction"}}],"reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:48.021362Z","title":"The Journal of Symbolic Logic 14(1), pp","venue":null,"work_id":"fd487cd6-03ce-4851-aeab-a5d1af3d22c2","year":1949},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.201495Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:9c63f098ae757d7c88e7e8de1a154773fde6dafc38bcecbaf29735206f61264c","observation_id":"38bd148a-bf57-46de-ab90-591338d23a57","resolution":{"observed_at":"2026-08-10T23:06:48.026642Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:48.002190Z","title":"The Review of Symbolic Logic 16(3), p","venue":null,"work_id":"e57f5036-1ba5-4208-82ff-3811f7ab7b16","year":2023},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.206359Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:0fe5315a97aac6000ad8e7446656880f8e63baf6be9d6440203405d684f75fc5","observation_id":"8f6936ec-b072-43c0-9f9c-b275c2af5964","resolution":{"observed_at":"2026-08-10T23:06:48.008362Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10992-020-09558-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.526217Z","title":"Journal of Philosophical Logic 50(1), pp","venue":null,"work_id":"8245f926-ee04-49af-9858-8c145bb54d24","year":2021},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.211319Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:21b66ae21cc2085292529f7d8f0d183a36fdfc72d1f0f8e84ec69146d62345ef","observation_id":"59614693-2ee8-496c-953d-b4146f9651c8","resolution":{"observed_at":"2026-08-10T23:06:47.531166Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.13154/294-9815","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.509873Z","title":"Journal of Applied Logics-IfCoLog Journal 10(1), pp","venue":null,"work_id":"9a5b22cb-a57f-4c48-84b6-26bfbbaefbef","year":2023},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.216134Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:b6f3039b4e78fa3ef7a205ff17829d898d3bf46c1635bf9a56b556194af64141","observation_id":"971f5bbc-9e40-4563-81d4-23c96a224e64","resolution":{"observed_at":"2026-08-10T23:06:47.515304Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-59533-6_31","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.493799Z","title":"In: Proceedings of WoLLIC 2019, Springer, pp","venue":null,"work_id":"e4b90957-b35b-4e5d-9d52-2da20c369ad7","year":2019},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.221789Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:00db2655af7f5c59d3fdce90e4beb07149a78e38593a4f5a17bceea7819c26d3","observation_id":"e76ace56-d96f-411c-8980-07a57c7e7bbe","resolution":{"observed_at":"2026-08-10T23:06:47.499091Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:47.984354Z","title":"In Nicola Olivetti, Rineke V erbrugge, Sara Negri & Gabriel Sandu, editors: Advances in Modal Logic , 13, College Publications, pp","venue":null,"work_id":"078844b7-920d-4380-af4d-ab7698a20ec4","year":2020},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.226760Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:562a4cf31500bbb5c2e98aa7ca39bb65d2d42f0042591fc3f734d198ec27fb9b","observation_id":"b76fd24f-d5da-4275-b3e6-c7cbcc79bbc2","resolution":{"observed_at":"2026-08-10T23:06:47.989667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.231585Z","title":"Publications of the Research Institute for Math- ematical Sciences 13(3), pp","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.231585Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:ffd25a6e3197e07652664ec0e852198bc1cb35fe89c057fbfc32d217241874a4","observation_id":"6cdee5c9-6c78-4e47-80c2-5ca0bde8f1cd","resolution":{"observed_at":"2026-08-10T23:06:47.231585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-981-13-7997-0","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.477269Z","title":"Springer, doi: 10.1007/978-981-13-7997-0","venue":null,"work_id":"74b7f2b5-e264-4d3e-9574-740c5ebda6c3","year":2019},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.236179Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:3267814b0d39bbe29a734dc073fa3306bde61d00da4c79c0e374969d017ebacd","observation_id":"f375aaee-8cbd-4809-82be-bf4866477d86","resolution":{"observed_at":"2026-08-10T23:06:47.482370Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1093/jigpal/jzab023","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.460363Z","title":"Logic Journal of the IGPL 30(5), pp","venue":null,"work_id":"8dcef07d-8858-4fd4-9f44-2499e902ad25","year":2022},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.241036Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:6bb338d4ec9f5bdd82197a7d6756fda909b701ca6933efd83097810824ea428b","observation_id":"575421ce-b8b4-41bd-9f35-af257b8cb96c","resolution":{"observed_at":"2026-08-10T23:06:47.465489Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2019.07.011","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.445271Z","title":"Electronic Notes in Theoretical Computer Science 344, pp","venue":null,"work_id":"5d0b351f-fd59-47b0-ae6b-7933122a7791","year":2019},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.245706Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:e130d0f3211133370ac36f07b56924c1bf163c243e9894122719702cb94e3c5c","observation_id":"e379cb28-1110-41c2-903f-750ced15c5c5","resolution":{"observed_at":"2026-08-10T23:06:47.449910Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.12775/llp.2014.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.426998Z","title":"Logic and Logical Philosophy 23(4), pp","venue":null,"work_id":"0401ff74-659d-4010-93d7-7017c0fe49cd","year":2014},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.250638Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:ee9d1c6c0826757c10b88c464a32318df3e3a1e86f946c62a530e47384f43622","observation_id":"5158df4b-5d4d-4db9-91e8-2dd7a86e18c1","resolution":{"observed_at":"2026-08-10T23:06:47.432778Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf02123283","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.407470Z","title":"Studia Logica 33(3), pp","venue":null,"work_id":"02f77939-4815-4637-8d75-a9942a47c1b7","year":1974},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.255018Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:2d0014f5e56a9b079bfeb159052a15d61ec3ed722d490691ef66a01f96beea21","observation_id":"27e90da4-697b-4a22-92e4-2d1dd51939e2","resolution":{"observed_at":"2026-08-10T23:06:47.413232Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-1-4613-0609-2_9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.387981Z","title":"Mathematical logic, pp","venue":null,"work_id":"f32ff571-cdd0-4c70-9407-bca7deed1310","year":1990},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.259927Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:9d8d3414653a55641d898755bb9830cf9796bcdc6684b795cf60fed4b0426c0e","observation_id":"647cd57a-cd6d-4300-9776-62549f4530e4","resolution":{"observed_at":"2026-08-10T23:06:47.393351Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11225-008-9113-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.371074Z","title":null,"venue":null,"work_id":"4a094669-1580-47a0-9baa-f4e7e01077ca","year":2008},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.265495Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:83281811265b71170a95aba71379baf48a46bffa085d03f962dc864ed69b7b74","observation_id":"3b016271-c5e0-4219-a918-1e03a9f86cbe","resolution":{"observed_at":"2026-08-10T23:06:47.376678Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11225-008-9138-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.354802Z","title":null,"venue":null,"work_id":"18345a7f-a3ad-4b22-bc74-8484ad198110","year":2008},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.270260Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:eaefb3a8df017c6ed175f25ac35561955a9203180c5da199b454056a0c0e7085","observation_id":"3d7786a0-aeb4-42ec-942d-e905f0bc7f51","resolution":{"observed_at":"2026-08-10T23:06:47.359801Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-74772-9_13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.334369Z","title":"Don Pigozzi on Abstract Algebraic Logic, Universal Algebra , and Com- puter Science, pp","venue":null,"work_id":"bb080f18-a6a0-4862-8a03-8dc0846f352d","year":2018},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.275120Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:725b31b513aa6f1a45fe48ccb09ad4faf68aeda8cecfbf4b20db7a9c92bf1751","observation_id":"78e55bd1-56f9-4cb4-a904-4f9e66a68efe","resolution":{"observed_at":"2026-08-10T23:06:47.342840Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.280150Z","title":"In: 2022 IEEE 52th International Symposium on Multiple-V alued Logi c, 52, IEEE, pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.280150Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:22b4715a026b2c4c6364fea2acae93c35a40250bd43e3bb21ba392801a2bc378","observation_id":"0d53dbd4-3512-4bbf-b9d6-40a8d7e0aa3f","resolution":{"observed_at":"2026-08-10T23:06:47.280150Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:06:47.968510Z","title":"I, Elsevier","venue":null,"work_id":"f7944c29-5723-4ca1-97a0-52b057f59c86","year":1988},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.284535Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:3d745ef0e86846a2c51203cbe9247abf659f003823bf101223e61a1137d16b6c","observation_id":"e1d947a8-eba2-4d6e-9ce8-4946649a1bb4","resolution":{"observed_at":"2026-08-10T23:06:47.973513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:47.952393Z","title":"In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing, editors: Advances in Modal Logic","venue":null,"work_id":"ecd68ade-4772-4ff3-ba4e-e2652a45951b","year":2005},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.289809Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:21fa363c455b5bed07e4fea84c80cdad373852503f8e02522aa84ea088ba2def","observation_id":"e8247ce0-8e3c-489d-b753-c8b373796af3","resolution":{"observed_at":"2026-08-10T23:06:47.957710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:47.935160Z","title":"In Edward N","venue":null,"work_id":"e3adb7b8-29f7-4ee9-8ae3-4fd42d205bb9","year":2023},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.295025Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:ea620b22f4d9804b60371224be154a94b85876fc664b963018047ffa7d7d96b8","observation_id":"dd86db23-f5c4-4873-a2c8-fec64f287ac9","resolution":{"observed_at":"2026-08-10T23:06:47.941035Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:06:47.917619Z","title":"Moscow State Lomonosov University doctoral (Doctor of Science) dissertation","venue":null,"work_id":"9c669c4f-6543-4445-9231-1dcc3d5533eb","year":2012},"citing_paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T23:06:47.299722Z"},"links":{"citing_paper":"/paper/2501.00495"},"observation_digest":"sha256:a6dc5cbd61e254b167bdc79d561458e4d03d97b841622b587bc9a0475f4beb77","observation_id":"b8de0fdb-721b-41e9-8733-45ee9e8c7b4b","resolution":{"observed_at":"2026-08-10T23:06:47.923048Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.00495","last_updated":"2024-12-31T15:14:13Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-11T02:19:32.544749Z","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":5,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":22,"verified_fuzzy":12},"total_outbound_references":43},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2501.00495."}