Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T05:28:36.457924Z
Paper Citation Record · LEDGER
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
61 of 61 outbound references displayed
- verified exact6
- verified fuzzy36
- unresolved18
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 410a0792-4916-4973-9164-1632a0d579d9 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T05:28:49.334823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation e853fd3a-c836-45fe-83d6-c562ed817475 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-06T05:28:37.724688Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3cd0bdeb-99f0-48e6-b3dc-28609839dcc4 · outbound
This paper cites Mendelsohn.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Mendelsohn
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:49.100647Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3781efe7-b521-4c5c-a699-59af3a0177cf · outbound
This paper cites Liu, Phoebe Mulcaire, Qiang Ning, and 7 others.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Liu, Phoebe Mulcaire, Qiang Ning, and 7 others
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T05:28:30.283775Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 354a5791-1418-4613-82e7-8ec042555de3 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T05:28:48.920933Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 48b519b4-1989-4a16-86b2-75ed10217147 · outbound
This paper cites Conditional and Modal Reasoning in Large Language Models.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Conditional and Modal Reasoning in Large Language Models
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T05:28:30.394196Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9d7dfbd3-7eec-48ef-9210-7ef8485e41da · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T05:28:30.479214Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c536303d-5e5c-434c-9892-2c753a0d0ee6 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T05:28:48.705895Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation f736b2ba-08dc-4519-a541-4110fe998d21 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T05:28:48.454074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7253a7ec-35ff-466e-86af-cb8124e52d1c · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T05:28:48.246370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 1525213b-8c2b-4551-be17-e4dfeb88678d · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-06T05:28:37.529628Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 261b42b4-cb4e-424e-ba97-6b685e42ead7 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T05:28:30.961721Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 20cabc32-11b2-4444-b3b4-68035e1dae62 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T05:28:48.020756Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 112fb3db-52ed-46f1-a68f-7eed17d2ea61 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T05:28:47.793182Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a77ebd04-a5b1-4476-abca-187288feb087 · outbound
This paper cites TPTP World Infrastructure for Non-classical Logics.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? TPTP World Infrastructure for Non-classical Logics
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T05:28:37.239975Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 1ad154a7-f778-4186-9338-49e870ac56b1 · outbound
This paper cites Solving Quantified Modal Logic Problems by Translation to Classical Logics.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Solving Quantified Modal Logic Problems by Translation to Classical Logics
Reference 16
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T05:28:38.325564Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation b0203aea-8fda-4d5a-897a-f0c56d393171 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T05:28:47.581014Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3f3fd499-a181-4a56-a021-8ff2c6a91ac8 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T05:28:31.662011Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e635d37-cf45-4743-b287-fa5756959555 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 19
- Resolution
- verified exact
- doi, observed 2026-08-06T05:28:36.969815Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation adfbb171-f23b-4c0a-b589-f0bd2ae0b0ed · outbound
This paper cites 2018 , eprint=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? 2018 , eprint=
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:47.377516Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ec02bf58-fb44-4f07-9987-d688a7890996 · outbound
This paper cites Multi- L ogi E val: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Multi- L ogi E val: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T05:28:31.946982Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0776df68-1e5c-4c17-b200-9f4ce16391c3 · outbound
This paper cites L ogic A sker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? L ogic A sker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T05:28:32.039818Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8de5918e-d58e-4927-9737-4f1db1b57e46 · outbound
This paper cites Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars
Reference 23
- Resolution
- verified exact
- doi, observed 2026-08-06T05:28:36.725398Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 91881892-fd31-431b-9f76-7fd24076c664 · outbound
This paper cites 2023 , pages =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? 2023 , pages =
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:47.137512Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c0139429-dbc1-48f4-bf0e-fa4952d9a393 · outbound
This paper cites 2024 , eprint=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? 2024 , eprint=
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:46.927143Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 96a65a46-a090-4f37-8832-f00aacaed488 · outbound
This paper cites Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , year =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , year =
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:46.750323Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation f259060f-b74f-4d1d-9d4f-49ec5cc78720 · outbound
This paper cites ArXiv , year=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? ArXiv , year=
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:46.516468Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 6057b778-9f45-4743-85b4-e7888542a08a · outbound
This paper cites ArXiv , year=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? ArXiv , year=
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:46.341020Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 9bb1ddd2-8dc7-42f5-ae02-3ef4176ed73e · outbound
This paper cites ArXiv , year=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? ArXiv , year=
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:46.099119Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation e60ff493-3dcf-4fd1-93ea-13bf7dc29175 · outbound
This paper cites 2025 , eprint=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? 2025 , eprint=
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:45.771090Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 38106e34-b363-46b1-b5c3-fbecc6515538 · outbound
This paper cites 2026 , eprint=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? 2026 , eprint=
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:45.538384Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a49ee582-9cda-4b6b-bc64-efed4013c04f · outbound
This paper cites 2026 , eprint=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? 2026 , eprint=
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T05:28:33.013587Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 88822c1a-1562-4301-b407-43c990351d7a · outbound
This paper cites 2026 , eprint=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? 2026 , eprint=
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:45.319420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 8c395e4e-74bb-44f3-b1b0-84299fc8b08c · outbound
This paper cites International Conference on Intelligent Computing , year=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? International Conference on Intelligent Computing , year=
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:44.940359Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 55c81895-329d-45d4-b722-5731037858a5 · outbound
This paper cites Procedia Computer Science , year=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Procedia Computer Science , year=
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:44.671251Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c27db010-e2b8-45a1-b1c4-351ec63ef3b8 · outbound
This paper cites TechRxiv , volume =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? TechRxiv , volume =
Reference 36
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-06T05:28:38.031185Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 4e7dd4cc-1586-48fe-9b46-5e7f2866574e · outbound
This paper cites Mathematics , VOLUME =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Mathematics , VOLUME =
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:44.419776Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a918e9aa-0081-4576-97b1-eeae6ab846ed · outbound
This paper cites 1980 , publisher=.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? 1980 , publisher=
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:44.187102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 21766f19-82cc-4a76-9b7a-954f8f0202a1 · outbound
This paper cites , title =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? , title =
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:43.940966Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 32560c4e-91f6-43c4-b086-3daf36d12344 · outbound
This paper cites , title =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? , title =
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:43.679811Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 03e209bd-820e-4d97-945f-547345dbff4b · outbound
This paper cites 2001 , series =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? 2001 , series =
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:43.430089Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ddc75451-7f13-44f6-b3a7-64f354f7c004 · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T05:28:43.209005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5daf5ffe-fd19-4d19-ab0e-2e4215a2a257 · outbound
This paper cites , title =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? , title =
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:42.952045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 619024d3-0065-4302-b073-6d491e4c6d21 · outbound
This paper cites Journal of Automated Reasoning , year =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Journal of Automated Reasoning , year =
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:42.685918Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 9687d78d-c5de-4be7-8334-d4ee9b145d43 · outbound
This paper cites Logic for Programming, Artificial Intelligence, and Reasoning , year =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Logic for Programming, Artificial Intelligence, and Reasoning , year =
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:42.426972Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 43e29d03-ec50-437a-94b2-64249734c85b · outbound
This paper cites Automated Reasoning in Non-classical Logics in the.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Automated Reasoning in Non-classical Logics in the
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:42.214027Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c79c8db9-3ade-4659-8a8e-a92320163477 · outbound
This paper cites Proceedings of the 8th Workshop on Practical Aspects of Automated Reasoning , year =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Proceedings of the 8th Workshop on Practical Aspects of Automated Reasoning , year =
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:41.969456Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 2afbd2d8-6e1a-406e-8730-7696daf3a072 · outbound
This paper cites Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic , journal =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic , journal =
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:41.748674Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c3314bd4-af33-4194-9ba1-976df4afa5a0 · outbound
This paper cites Quantified Multimodal Logics in Simple Type Theory , journal =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Quantified Multimodal Logics in Simple Type Theory , journal =
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:41.505553Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 4d3be3cb-c201-4965-8aba-b824e7530bcb · outbound
This paper cites Extensional Higher-Order Paramodulation in.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Extensional Higher-Order Paramodulation in
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:41.246874Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 260a44bc-389f-4a01-b97a-2ee7a2984212 · outbound
This paper cites First-Order Theorem Proving and.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? First-Order Theorem Proving and
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:40.984357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 32bfeb71-5a68-4d81-970e-15cff98454e9 · outbound
This paper cites Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021 , year =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021 , year =
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:40.778066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 8d7c23d8-e5d9-4443-8211-6ec47378dbdc · outbound
This paper cites an unresolved cited work.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Unresolved cited work
Reference 53
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T05:28:40.540935Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation d60e06d2-aa31-494f-946a-210b3f73f2f5 · outbound
This paper cites Advances in Neural Information Processing Systems , year =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Advances in Neural Information Processing Systems , year =
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:40.323006Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation e40c7540-39ce-42b4-a3b8-5125c88a0806 · outbound
This paper cites Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics , year =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics , year =
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:40.123185Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation da815b74-64c9-41a1-bb14-7313be747bec · outbound
This paper cites Proceedings of the 4th Natural Logic Meets Machine Learning Workshop , year =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Proceedings of the 4th Natural Logic Meets Machine Learning Workshop , year =
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:39.888179Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 371c4306-1083-4f9d-86d7-8fe9abb13b23 · outbound
This paper cites Findings of the Association for Computational Linguistics: EMNLP 2020 , year =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Findings of the Association for Computational Linguistics: EMNLP 2020 , year =
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:39.608962Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 8d0ba2a7-5316-41c8-bf43-d97676bcc797 · outbound
This paper cites Diagnosing the First-Order Logical Reasoning Ability Through.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Diagnosing the First-Order Logical Reasoning Ability Through
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:39.336910Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5e017a47-b5d6-4550-8531-0c57ccaa08ec · outbound
This paper cites Automated Reasoning , year =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Automated Reasoning , year =
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:39.083410Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation d28356be-3e7f-4fc4-bb09-e9eca01575a7 · outbound
This paper cites Solving Quantified Modal Logic Problems by Translation to Classical Logics , journal =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? Solving Quantified Modal Logic Problems by Translation to Classical Logics , journal =
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:38.776796Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5f7fa320-eecc-480b-a9c0-0fd0a0217b8f · outbound
This paper cites 2025 , eprint =.
Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications? 2025 , eprint =
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T05:28:38.598737Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Pith citing papers
No inbound Pith citation observations are available.