{"as_of":"2026-08-11T17:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:19061d227af28946f9fb69c1388164e7f20eb527c002b36a3fc1fd8ca85c2652","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T05:28:36.457924Z","state":"measured"},{"denominator":61,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":61,"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/2608.05097/citation-record","integrity":"/paper/2608.05097/integrity","json":"/paper/2608.05097/citation-record.json","paper":"/paper/2608.05097"},"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-06T05:28:49.211811Z","title":null,"venue":null,"work_id":"7d909ce2-c37c-4385-bec0-254444336bb0","year":2023},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.111877Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:77cac606469405a227e0bbb2e0378457c5c4848c976f8d2f5fd3107d8cc97b5e","observation_id":"410a0792-4916-4973-9164-1632a0d579d9","resolution":{"observed_at":"2026-08-06T05:28:49.334823Z","resolver_source":"raw_fallback","status":"unresolved"},"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/2269159","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Journal of Symbolic Logic","work_id":"e3c15fbe-9ebe-4ba2-8638-644332df1126","year":1946},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.181903Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:2e6b0b64d79e9a48cb007708616484e69fa7528afef0729ab6822b1ffa4b3784","observation_id":"e853fd3a-c836-45fe-83d6-c562ed817475","resolution":{"observed_at":"2026-08-06T05:28:37.724688Z","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-06T05:28:49.010016Z","title":"Mendelsohn","venue":null,"work_id":"c9b58f0d-d1fc-41c8-8194-3ef318a9f76c","year":1998},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.251675Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:8854c13a16b7d5cdd5050a106f1e3b569140e7850ccbe5b886585820c997f687","observation_id":"3cd0bdeb-99f0-48e6-b3dc-28609839dcc4","resolution":{"observed_at":"2026-08-06T05:28:49.100647Z","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-06T05:28:30.283775Z","title":"Liu, Phoebe Mulcaire, Qiang Ning, and 7 others","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.283775Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:b5bfbee4ee955d587ec7348b20bdb6ae2ef41fb5c7c161398bc5ff251d3f2738","observation_id":"3781efe7-b521-4c5c-a699-59af3a0177cf","resolution":{"observed_at":"2026-08-06T05:28:30.283775Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:28:48.815908Z","title":null,"venue":null,"work_id":"a405949c-2710-4aa4-b271-f3b132d25c29","year":2022},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.356014Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:c0c0fc184b1a8641a45c3ce2b23d60eeb1a2b577334902af9ae2a631f6676c3d","observation_id":"354a5791-1418-4613-82e7-8ec042555de3","resolution":{"observed_at":"2026-08-06T05:28:48.920933Z","resolver_source":"raw_fallback","status":"unresolved"},"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":{"arxiv_id":"2401.17169","last_updated":"2024-10-13T11:08:15Z","snapshot_observed_at":"2026-08-10T14:32:17.450667Z","submitted_at":"2024-01-30T16:56:54Z","title":"Conditional and Modal Reasoning in Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.17169","snapshot_observed_at":"2026-08-06T05:28:30.394196Z","title":"Holliday, Matthew Mandelkern, and Cedegao E","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.394196Z"},"links":{"cited_paper":"/paper/2401.17169","citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:8d9badb937820304771bdd92eca2084823055fef9f52cb946de78cd98c802766","observation_id":"48b519b4-1989-4a16-86b2-75ed10217147","resolution":{"observed_at":"2026-08-06T05:28:30.394196Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:28:30.479214Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.479214Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:2366670cc9de033c65b8d2abc6518cb22ea5a2f494d3ff570549535518c95991","observation_id":"9d7dfbd3-7eec-48ef-9210-7ef8485e41da","resolution":{"observed_at":"2026-08-06T05:28:30.479214Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:28:48.602714Z","title":null,"venue":null,"work_id":"ab126c34-1416-4c3b-bb38-62af1fc018ed","year":1963},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.587633Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:4e09f73f182116913519724073efcd8759f484d5201428f8937e3ebc5236c201","observation_id":"c536303d-5e5c-434c-9892-2c753a0d0ee6","resolution":{"observed_at":"2026-08-06T05:28:48.705895Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T05:28:48.339987Z","title":null,"venue":null,"work_id":"b2e58caf-3b7a-4f67-820d-905df54fc10c","year":2025},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.665737Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:28684d3e4015d14354801aafee102b6fe42b1d4d8c9f6102a485dded7be1afeb","observation_id":"f736b2ba-08dc-4519-a541-4110fe998d21","resolution":{"observed_at":"2026-08-06T05:28:48.454074Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T05:28:48.117805Z","title":null,"venue":null,"work_id":"85c0b1ec-89a0-4c89-bb65-8e2c7f2f39c6","year":2024},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.753097Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:c659057f78906a213365862ae66928cf62c312e5ea6e4910db38ac9146be48f7","observation_id":"7253a7ec-35ff-466e-86af-cb8124e52d1c","resolution":{"observed_at":"2026-08-06T05:28:48.246370Z","resolver_source":"raw_fallback","status":"unresolved"},"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-642-31365-3_35","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T11:07:33.414567Z","title":null,"venue":"Lecture notes in computer science","work_id":"17ec4c3e-1db6-481f-aa8b-188595f747f2","year":2012},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.861939Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:19fef0d887efed52e7275e4606c6348000842b6259a4a4b6989eddbb390f9194","observation_id":"1525213b-8c2b-4551-be17-e4dfeb88678d","resolution":{"observed_at":"2026-08-06T05:28:37.529628Z","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-06T05:28:30.961721Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:30.961721Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:f61ac0a0bdf2d624556bd079242ecf7dc870a28c3a028da391986511b4561474","observation_id":"261b42b4-cb4e-424e-ba97-6b685e42ead7","resolution":{"observed_at":"2026-08-06T05:28:30.961721Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:28:47.906737Z","title":null,"venue":null,"work_id":"b06c9ea3-2d69-4f59-951c-2bf6939b8e25","year":2022},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:31.090058Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:42496fa7a68d3c4a904812849b4945ea139f0d3ab64df3a3be596a45b18409ed","observation_id":"20cabc32-11b2-4444-b3b4-68035e1dae62","resolution":{"observed_at":"2026-08-06T05:28:48.020756Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T05:28:47.692326Z","title":null,"venue":null,"work_id":"7c28f6ad-048f-4cc5-8dd0-84659cbd5dac","year":2021},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:31.185764Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:87eb6de71caad9366e1341bb32a000df6435907c3c2a45b4cb90057c4bf97339","observation_id":"112fb3db-52ed-46f1-a68f-7eed17d2ea61","resolution":{"observed_at":"2026-08-06T05:28:47.793182Z","resolver_source":"raw_fallback","status":"unresolved"},"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":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"cited_work":{"arxiv_id":"2508.09318","doi":"10.48550/arxiv.2508.09318","metadata_source":"pith","pith_arxiv_id":"2508.09318","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"TPTP World Infrastructure for Non-classical Logics","venue":"cs.LO","work_id":"9a980b03-06cf-4efc-a769-d74b155c66f1","year":2025},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:31.282497Z"},"links":{"cited_paper":"/paper/2508.09318","citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:9b1ff5bd3f8bbad25d12ce8bbcd501fc8c6006aff7c1075a99f2789ce9253cf3","observation_id":"a77ebd04-a5b1-4476-abca-187288feb087","resolution":{"observed_at":"2026-08-06T05:28:37.239975Z","resolver_source":"local_arxiv","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":{"arxiv_id":"2212.09570","last_updated":"2024-04-29T13:40:01Z","snapshot_observed_at":"2026-07-06T14:32:29.720436Z","submitted_at":"2022-12-19T16:02:14Z","title":"Solving Quantified Modal Logic Problems by Translation to Classical Logics","version":3},"cited_work":{"arxiv_id":"2212.09570","doi":null,"metadata_source":"pith","pith_arxiv_id":"2212.09570","snapshot_observed_at":"2026-08-06T05:28:38.171715Z","title":"Solving Quantified Modal Logic Problems by Translation to Classical Logics","venue":"cs.LO","work_id":"d44b5363-8a4f-4d10-8620-47449a434047","year":2022},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:31.402382Z"},"links":{"cited_paper":"/paper/2212.09570","citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:cb931160cfde34242a4642250520aeae52d1a2822a84a3eb89c85e8dc37e5770","observation_id":"1ad154a7-f778-4186-9338-49e870ac56b1","resolution":{"observed_at":"2026-08-06T05:28:38.325564Z","resolver_source":"local_arxiv","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-06T05:28:47.511456Z","title":null,"venue":null,"work_id":"a19619b3-f1f7-4df4-9459-ddf7f5cfdf54","year":2021},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:31.530104Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:11e37257d1fe8e3058fd76e6fa5cb9e76523831e333d1624c008748cdacb21ee","observation_id":"b0203aea-8fda-4d5a-897a-f0c56d393171","resolution":{"observed_at":"2026-08-06T05:28:47.581014Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T05:28:31.662011Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:31.662011Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:8d5fc1cae8b4fd69ad040cae02e1654f4dfbf4770e50f82054e0197b3568f59c","observation_id":"3f3fd499-a181-4a56-a021-8ff2c6a91ac8","resolution":{"observed_at":"2026-08-06T05:28:31.662011Z","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.18653/v1/2025.acl-long.824","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":null,"work_id":"5fd90baf-434d-484f-bc66-7c87ceb36fa3","year":2025},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:31.753522Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:7215590cd26ace44447e9dcb487122991f10755c86bd80bb5195a5a3d6ed8669","observation_id":"0e635d37-cf45-4743-b287-fa5756959555","resolution":{"observed_at":"2026-08-06T05:28:36.969815Z","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-06T05:28:47.272966Z","title":"2018 , eprint=","venue":null,"work_id":"1bcded07-76e6-4841-982c-56bb26f472fe","year":2018},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:31.852361Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:14040e13dc11ac9ad52cc52eb4a565d8ee75661e320fce4562cb5c73140dd111","observation_id":"adfbb171-f23b-4c0a-b589-f0bd2ae0b0ed","resolution":{"observed_at":"2026-08-06T05:28:47.377516Z","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-06T05:28:31.946982Z","title":"Multi- L ogi E val: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:31.946982Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:662b0efe274c740d92090526f563029c54aa2ce056aa403c5e3cda3859026933","observation_id":"ec02bf58-fb44-4f07-9987-d688a7890996","resolution":{"observed_at":"2026-08-06T05:28:31.946982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:28:32.039818Z","title":"L ogic A sker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:32.039818Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:48c152bc0e4def850c1b1939d7403e7d6360ee01aa7951d93e2a14ae5a16da4b","observation_id":"0776df68-1e5c-4c17-b200-9f4ce16391c3","resolution":{"observed_at":"2026-08-06T05:28:32.039818Z","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.18653/v1/2024.emnlp-main.301","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars","venue":null,"work_id":"e59fa8a5-3f4e-4218-a271-2d6fdf6bf7b0","year":2024},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:32.128788Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:9bde23956e6fabac943feb7a3250d29a84747f462dcf375d2245b650daeb440d","observation_id":"8de5918e-d58e-4927-9737-4f1db1b57e46","resolution":{"observed_at":"2026-08-06T05:28:36.725398Z","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-06T05:28:47.048813Z","title":"2023 , pages =","venue":null,"work_id":"7d103b00-46ff-471b-9cfd-cedfff9c3a59","year":2023},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:32.249521Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:34ab8a894d246bca9a7f37713e2c711ff655550e52ecc27a0e15f4d64b29a1e5","observation_id":"91881892-fd31-431b-9f76-7fd24076c664","resolution":{"observed_at":"2026-08-06T05:28:47.137512Z","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-06T05:28:46.838508Z","title":"2024 , eprint=","venue":null,"work_id":"e9a1405f-09ce-42b8-829c-f5dc8045d4ef","year":2024},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:32.336045Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:2ddd4b96da7248683a73808fa9d92cfd7629f6d96d58a7bf21046756b952089c","observation_id":"c0139429-dbc1-48f4-bf0e-fa4952d9a393","resolution":{"observed_at":"2026-08-06T05:28:46.927143Z","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-06T05:28:46.630246Z","title":"Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , year =","venue":null,"work_id":"44462a6b-df97-45c9-82e7-6d89ad7daa64","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:32.430140Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:995b9183d4130759f2610887b53884fabbd2acdf2266ccec09a83a47c7c48e28","observation_id":"96a65a46-a090-4f37-8832-f00aacaed488","resolution":{"observed_at":"2026-08-06T05:28:46.750323Z","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-06T05:28:46.428967Z","title":"ArXiv , year=","venue":null,"work_id":"05d651ae-b816-42b2-91f7-1fc53a884bb3","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:32.526179Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:51e3ec9c8c33fa75c83f65c34dee80293e2638d824a4f4afb55a9afe52f2a621","observation_id":"f259060f-b74f-4d1d-9d4f-49ec5cc78720","resolution":{"observed_at":"2026-08-06T05:28:46.516468Z","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-06T05:28:46.212208Z","title":"ArXiv , year=","venue":null,"work_id":"e1734b5d-5935-4af5-9ed8-4e99de1aeab3","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:32.576213Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:4df24277ed8ec55a8348bc279711e2fba7ce59236b86820e4e8d8376cd39c123","observation_id":"6057b778-9f45-4743-85b4-e7888542a08a","resolution":{"observed_at":"2026-08-06T05:28:46.341020Z","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-06T05:28:45.907799Z","title":"ArXiv , year=","venue":null,"work_id":"d882aeab-fa87-4b40-abec-3ed7089bcb0f","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:32.670176Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:7503d08e060f578906a006965daddccd57627eafe520d6204f5e7cb40fdf4c26","observation_id":"9bb1ddd2-8dc7-42f5-ae02-3ef4176ed73e","resolution":{"observed_at":"2026-08-06T05:28:46.099119Z","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-06T05:28:45.653828Z","title":"2025 , eprint=","venue":null,"work_id":"775c8c34-a912-4b91-be18-7f002a0e2c48","year":2025},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:32.820300Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:d8823a65846b69ab459b3a2aa1b5c614f020ca676d1e486ba8c1be023627080e","observation_id":"e60ff493-3dcf-4fd1-93ea-13bf7dc29175","resolution":{"observed_at":"2026-08-06T05:28:45.771090Z","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-06T05:28:45.445069Z","title":"2026 , eprint=","venue":null,"work_id":"3854281f-e25d-441f-94f9-106ca28dfa4e","year":2026},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:32.933283Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:35144295f40e926ed5fabcc95d61f0c36afd3e24cecf52014923def1f1390546","observation_id":"38106e34-b363-46b1-b5c3-fbecc6515538","resolution":{"observed_at":"2026-08-06T05:28:45.538384Z","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-06T05:28:33.013587Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:33.013587Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:a46f26cf17707e1e4f23f1113828eb3f7e0379016c2dfe2836877786ff0af1de","observation_id":"a49ee582-9cda-4b6b-bc64-efed4013c04f","resolution":{"observed_at":"2026-08-06T05:28:33.013587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:28:45.103469Z","title":"2026 , eprint=","venue":null,"work_id":"24ef5f49-81ab-44aa-8d43-eef1957d0f45","year":2026},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:33.122101Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:d5472e29ce031f8b7247c37e069b39a8a29c9c59ae5dc8fea22e3c0900b6cd1d","observation_id":"88822c1a-1562-4301-b407-43c990351d7a","resolution":{"observed_at":"2026-08-06T05:28:45.319420Z","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-06T05:28:44.798402Z","title":"International Conference on Intelligent Computing , year=","venue":null,"work_id":"5c70cfbd-de56-4804-838c-d1438f56070d","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:33.219912Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:9d6eee419e837a56f4c0cd731f808ab5ac56e7610528da4418e1c14b43fbf95f","observation_id":"8c395e4e-74bb-44f3-b1b0-84299fc8b08c","resolution":{"observed_at":"2026-08-06T05:28:44.940359Z","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-06T05:28:44.551681Z","title":"Procedia Computer Science , year=","venue":null,"work_id":"805b729a-fcd7-4f9e-87f0-2f63cb756c96","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:33.365283Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:f21a67b6860f47d98dffb6aa0848524b82c89043668c01bb140c690d0567d3ff","observation_id":"55c81895-329d-45d4-b722-5731037858a5","resolution":{"observed_at":"2026-08-06T05:28:44.671251Z","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":"1130.09718","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:28:37.887036Z","title":"TechRxiv , volume =","venue":null,"work_id":"6c427386-f75a-4c11-bf8a-0c29f3c62b41","year":2025},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:33.475925Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:ebb6aa8fc3822637074ce0114b6509388fba2f832bccbbcc3ef2ff4d2cf18a50","observation_id":"c27db010-e2b8-45a1-b1c4-351ec63ef3b8","resolution":{"observed_at":"2026-08-06T05:28:38.031185Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-06T05:28:44.282181Z","title":"Mathematics , VOLUME =","venue":null,"work_id":"adc021c8-a2a9-4316-a618-79ec570e0078","year":2025},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:33.578031Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:9932da82d5a519f05ccb5c0fcb3a9d2bc04eb83dff40c4cbf3e7bcd3ea6e1d80","observation_id":"4e7dd4cc-1586-48fe-9b46-5e7f2866574e","resolution":{"observed_at":"2026-08-06T05:28:44.419776Z","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-06T05:28:44.051843Z","title":"1980 , publisher=","venue":null,"work_id":"8f7a665d-d29d-42d7-8884-5db774c00424","year":1980},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:33.683670Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:adbbf96ca0bae8737fc4c0ddd03166ff9d165d464d58093dfee1777b7fdf961e","observation_id":"a918e9aa-0081-4576-97b1-eeae6ab846ed","resolution":{"observed_at":"2026-08-06T05:28:44.187102Z","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-06T05:28:43.769855Z","title":", title =","venue":null,"work_id":"1a963e91-3185-4e44-a4da-9060229d96de","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:33.786031Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:c247f527006c06ed5ac4fbf42fae2e85f18fc6ba18de4a52f1776feb25153eee","observation_id":"21766f19-82cc-4a76-9b7a-954f8f0202a1","resolution":{"observed_at":"2026-08-06T05:28:43.940966Z","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-06T05:28:43.544304Z","title":", title =","venue":null,"work_id":"6b3ec907-de03-4bca-83c5-2bddbf346ce3","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:33.897078Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:3778af5194f6fce4d1dd5a07c61d14e75f5ff39faec4eee35ef9bdd46b364f14","observation_id":"32560c4e-91f6-43c4-b086-3daf36d12344","resolution":{"observed_at":"2026-08-06T05:28:43.679811Z","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-06T05:28:43.325837Z","title":"2001 , series =","venue":null,"work_id":"c32794c3-cf18-46f0-8014-98b76224be59","year":2001},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:34.029995Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:622a4a2b39973d3174c765ce21d9308727909d8887883aaa4f9d018dfcd557bf","observation_id":"03e209bd-820e-4d97-945f-547345dbff4b","resolution":{"observed_at":"2026-08-06T05:28:43.430089Z","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-06T05:28:43.081482Z","title":null,"venue":null,"work_id":"929ebe35-bea4-480b-9325-f0891d146561","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:34.220644Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:697c92b79cd40f24ae6b9406774759d03d3d678cae05da8b4a8665f44c3021e3","observation_id":"ddc75451-7f13-44f6-b3a7-64f354f7c004","resolution":{"observed_at":"2026-08-06T05:28:43.209005Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T05:28:42.838696Z","title":", title =","venue":null,"work_id":"af92e167-2b5a-4b99-aa31-44ac06426d20","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:34.323285Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:60d1843077856d3f39f2444d20e809835bb58f15998946b1da3df396284e72f1","observation_id":"5daf5ffe-fd19-4d19-ab0e-2e4215a2a257","resolution":{"observed_at":"2026-08-06T05:28:42.952045Z","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-06T05:28:42.585836Z","title":"Journal of Automated Reasoning , year =","venue":null,"work_id":"a378c2f3-d4ca-4e48-b215-bf9847e698ea","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:34.474150Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:2ee1ca466246a35f0d6bddd2e8be760cfe0085f7df52590659bae150cab675da","observation_id":"619024d3-0065-4302-b073-6d491e4c6d21","resolution":{"observed_at":"2026-08-06T05:28:42.685918Z","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-06T05:28:42.321419Z","title":"Logic for Programming, Artificial Intelligence, and Reasoning , year =","venue":null,"work_id":"e1e748c7-a9dd-424d-a8f8-14ed6fd2dbbd","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:34.616380Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:17c4a95aeb963be59e3b6fb6bfd504042ebef7942b9ab9aaa4588f56d493a4a1","observation_id":"9687d78d-c5de-4be7-8334-d4ee9b145d43","resolution":{"observed_at":"2026-08-06T05:28:42.426972Z","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-06T05:28:42.120784Z","title":"Automated Reasoning in Non-classical Logics in the","venue":null,"work_id":"d2008fb9-e35c-4c6a-9ee5-a986207fe8fd","year":2022},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:34.719027Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:2e30c734456f25cefb597677e634e1ac7ace11dcc7878573b908588d5aa23fa6","observation_id":"43e29d03-ec50-437a-94b2-64249734c85b","resolution":{"observed_at":"2026-08-06T05:28:42.214027Z","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-06T05:28:41.848945Z","title":"Proceedings of the 8th Workshop on Practical Aspects of Automated Reasoning , year =","venue":null,"work_id":"21b9aab6-2963-4811-8bdd-cc9af3ffd4d4","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:34.835082Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:79010e89ffcf3a0af638abb96b4c666d66e0863dfa746fb07a9b9d06b4ef75be","observation_id":"c79c8db9-3ade-4659-8a8e-a92320163477","resolution":{"observed_at":"2026-08-06T05:28:41.969456Z","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-06T05:28:41.631422Z","title":"Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic , journal =","venue":null,"work_id":"fa83d944-4b41-411d-aa7a-9b77966f80be","year":2011},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:34.954368Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:5821457e5370983853003df66e65d010f58048cfa8176539a9cedc0f7b9a1876","observation_id":"2afbd2d8-6e1a-406e-8730-7696daf3a072","resolution":{"observed_at":"2026-08-06T05:28:41.748674Z","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-06T05:28:41.393623Z","title":"Quantified Multimodal Logics in Simple Type Theory , journal =","venue":null,"work_id":"d708aef6-e21d-4199-9f9b-d9a9f74341e7","year":2013},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:35.105815Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:68e6d5fdbfa4d2ae9b42deb4ce223c1f346c560df7664dfaab351b91d2f0b381","observation_id":"c3314bd4-af33-4194-9ba1-976df4afa5a0","resolution":{"observed_at":"2026-08-06T05:28:41.505553Z","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-06T05:28:41.113412Z","title":"Extensional Higher-Order Paramodulation in","venue":null,"work_id":"f394a5c9-434d-464c-9ec2-762ac39e1eda","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:35.204688Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:e862ae6b04f6b2c6930b1051404d02147443761cfb92761c67dc490b090a2f03","observation_id":"4d3be3cb-c201-4965-8aba-b824e7530bcb","resolution":{"observed_at":"2026-08-06T05:28:41.246874Z","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-06T05:28:40.886244Z","title":"First-Order Theorem Proving and","venue":null,"work_id":"460be6ae-e33a-4bef-8311-d77e6cdf5a57","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:35.357376Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:55cd3796c61bdeabfecc95960ba2f38dba4958880d933003c0ce0a0213580624","observation_id":"260a44bc-389f-4a01-b97a-2ee7a2984212","resolution":{"observed_at":"2026-08-06T05:28:40.984357Z","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-06T05:28:40.650906Z","title":"Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021 , year =","venue":null,"work_id":"d284b852-444c-4013-80bb-e1e3db6cc712","year":2021},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:35.440391Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:a02e2ab06b1a255d9fca4c07cabc9e05ac9c11300a6a5a09d1519cc26381ad7a","observation_id":"32bfeb71-5a68-4d81-970e-15cff98454e9","resolution":{"observed_at":"2026-08-06T05:28:40.778066Z","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-06T05:28:40.449519Z","title":null,"venue":null,"work_id":"720e9cf7-8a09-46a2-8960-7f0c634562f0","year":2022},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:35.553095Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:cb694959eae7567476d2495819d497231dcd1cc2b828b519951db6cdc8485951","observation_id":"8d7c23d8-e5d9-4443-8211-6ec47378dbdc","resolution":{"observed_at":"2026-08-06T05:28:40.540935Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T05:28:40.222786Z","title":"Advances in Neural Information Processing Systems , year =","venue":null,"work_id":"f10a6ced-c72a-4381-b0e4-a3b2c366189b","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:35.635072Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:bca75852a0286ea735280cf7474c0685860232806a75bda1593a2b02b1e4df2d","observation_id":"d60e06d2-aa31-494f-946a-210b3f73f2f5","resolution":{"observed_at":"2026-08-06T05:28:40.323006Z","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-06T05:28:40.025979Z","title":"Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics , year =","venue":null,"work_id":"f019d445-5e57-4417-b488-0e91925c4636","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:35.749336Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:49ca5b7c05179320b3fe76071f4e7505934059b06b47bd2db8e297dacaedbdfc","observation_id":"e40c7540-39ce-42b4-a3b8-5125c88a0806","resolution":{"observed_at":"2026-08-06T05:28:40.123185Z","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-06T05:28:39.775005Z","title":"Proceedings of the 4th Natural Logic Meets Machine Learning Workshop , year =","venue":null,"work_id":"ebb5d91e-00eb-4f66-89d8-92b79535ec8e","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:35.924334Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:126029c55c67eec6354ffe553a5ea8d53edfccb670530b9243e8f639ddc361b9","observation_id":"da815b74-64c9-41a1-bb14-7313be747bec","resolution":{"observed_at":"2026-08-06T05:28:39.888179Z","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-06T05:28:39.481896Z","title":"Findings of the Association for Computational Linguistics: EMNLP 2020 , year =","venue":null,"work_id":"c3ff7834-3ad1-4852-b804-9a0772c33de4","year":2020},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:36.034534Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:46f075ac59c6a81ce9509b3a42c8e3f7e03538664db19e68d4c61c9e42d878bd","observation_id":"371c4306-1083-4f9d-86d7-8fe9abb13b23","resolution":{"observed_at":"2026-08-06T05:28:39.608962Z","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-06T05:28:39.210483Z","title":"Diagnosing the First-Order Logical Reasoning Ability Through","venue":null,"work_id":"c53f22ed-a82e-4ca6-b86e-7e5074a51152","year":2021},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:36.118114Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:d01e03af31e6ea460777756205254c1dfe349afd185de336b18dfa85bb6849e2","observation_id":"8d0ba2a7-5316-41c8-bf43-d97676bcc797","resolution":{"observed_at":"2026-08-06T05:28:39.336910Z","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-06T05:28:38.923606Z","title":"Automated Reasoning , year =","venue":null,"work_id":"fec5a854-3fd0-40ff-ae88-8d5c6260ec18","year":null},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:36.220496Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:5ff65d2efbe9ca7e1edc69ef9bde00dd06055ea84cec9320fb2d08d0f5529fea","observation_id":"5e017a47-b5d6-4550-8531-0c57ccaa08ec","resolution":{"observed_at":"2026-08-06T05:28:39.083410Z","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-06T05:28:38.695983Z","title":"Solving Quantified Modal Logic Problems by Translation to Classical Logics , journal =","venue":null,"work_id":"6c2b39a2-8ec6-4111-b10e-3d6cd342a047","year":2024},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:36.325955Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:85caf58af549cc12d714e39fd1d7c86bb6a9bbfefbda52974632ce5e9b679204","observation_id":"d28356be-3e7f-4fc4-bb09-e9eca01575a7","resolution":{"observed_at":"2026-08-06T05:28:38.776796Z","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-06T05:28:38.482633Z","title":"2025 , eprint =","venue":null,"work_id":"1ac50f07-44d6-42a1-b5b3-c51ccca0825d","year":2025},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:36.457924Z"},"links":{"citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:44e01eac3db9b417ce4a54307effaadc3b6a588d57cbe710772568e187c9b826","observation_id":"5f7fa320-eecc-480b-a9c0-0fd0a0217b8f","resolution":{"observed_at":"2026-08-06T05:28:38.598737Z","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":"2608.05097","last_updated":"2026-08-05T17:33:47Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-09T02:55:22.472209Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":18,"verified_exact":6,"verified_fuzzy":36},"total_outbound_references":61},"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 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2608.05097."}