{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T03:31:09Z","timestamp":1777951869972,"version":"3.51.4"},"reference-count":23,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T00:00:00Z","timestamp":1769817600000},"content-version":"vor","delay-in-days":30,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Procedia Computer Science"],"published-print":{"date-parts":[[2026]]},"DOI":"10.1016\/j.procs.2026.01.057","type":"journal-article","created":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T19:30:19Z","timestamp":1774035019000},"page":"484-492","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["LogiCue: Targeted Prompting for Improved Modal and Conditional Reasoning in Large Language Models"],"prefix":"10.1016","volume":"275","author":[{"given":"Fatemeh","family":"Shahrokhshahi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farzan","family":"Mohammadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferdi","family":"Sonmez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.procs.2026.01.057_bib1","doi-asserted-by":"crossref","unstructured":"Holliday WH, Mandelkern M, Zhang CE. Conditional and Modal Reasoning in Large Language Models. In: Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing; 2024 Nov; Miami, Florida, USA. Association for Computational Linguistics; 2024. p. 3800-3821.","DOI":"10.18653\/v1\/2024.emnlp-main.222"},{"key":"10.1016\/j.procs.2026.01.057_bib2","doi-asserted-by":"crossref","unstructured":"Cheng F, Li H, Liu F, van Rooij R, Zhang K, Lin Z. Empowering LLMs with Logical Reasoning: A Comprehensive Survey. In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-25) Survey Track; 2025.","DOI":"10.24963\/ijcai.2025\/1155"},{"key":"10.1016\/j.procs.2026.01.057_bib3","doi-asserted-by":"crossref","unstructured":"Rosella G, Flaminio T, Bonzio S. Counterfactuals as modal conditionals, and their probability. Artificial Intelligence. 2023;323:103970.","DOI":"10.1016\/j.artint.2023.103970"},{"issue":"84","key":"10.1016\/j.procs.2026.01.057_bib4","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1093\/mind\/XXI.84.522","article-title":"Implication and the Algebra of Logic","volume":"21","author":"Lewis","year":"1912","journal-title":"Mind."},{"key":"10.1016\/j.procs.2026.01.057_bib5","doi-asserted-by":"crossref","unstructured":"Lewis CI. A Survey of Symbolic Logic. Berkeley: University of California Press; 1918.","DOI":"10.1525\/9780520398252"},{"key":"10.1016\/j.procs.2026.01.057_bib6","unstructured":"Lewis CI, Langford CH. Symbolic Logic. New York: The Century Co.; 1932."},{"key":"10.1016\/j.procs.2026.01.057_bib7","unstructured":"Goodman N. Fact, Fiction, and Forecast. Cambridge, MA: Harvard University Press; 1955."},{"issue":"1-4","key":"10.1016\/j.procs.2026.01.057_bib8","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1080\/00201746508601430","article-title":"The logic of conditionals","volume":"8","author":"Adams","year":"1965","journal-title":"Inquiry."},{"key":"10.1016\/j.procs.2026.01.057_bib9","doi-asserted-by":"crossref","unstructured":"Adams EW. The Logic of Conditionals: An Application of Probability to Deductive Logic. Dordrecht: D. Reidel; 1975.","DOI":"10.1007\/978-94-015-7622-2"},{"key":"10.1016\/j.procs.2026.01.057_bib10","unstructured":"Stalnaker RC. A theory of conditionals. In: Rescher N, editor. Studies in Logical Theory. American Philosophical Quarterly Monograph Series, No. 2. Oxford: Blackwell; 1968. p. 98-112."},{"key":"10.1016\/j.procs.2026.01.057_bib11","unstructured":"Lewis D. Counterfactuals. Oxford: Blackwell; 1973."},{"key":"10.1016\/j.procs.2026.01.057_bib12","first-page":"83","article-title":"Semantical Considerations on Modal Logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philosophica Fennica."},{"key":"10.1016\/j.procs.2026.01.057_bib13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/s11050-011-9079-5","article-title":"Connectives without truth-tables","volume":"20","author":"Klinedinst","year":"2012","journal-title":"Natural Language Semantics."},{"key":"10.1016\/j.procs.2026.01.057_bib14","doi-asserted-by":"crossref","first-page":"1001","DOI":"10.1007\/s10992-012-9228-4","article-title":"A counterexample to modus tollens","volume":"41","author":"Yalcin","year":"2012","journal-title":"Journal of Philosophical Logic."},{"issue":"9","key":"10.1016\/j.procs.2026.01.057_bib15","doi-asserted-by":"crossref","first-page":"462","DOI":"10.2307\/2026276","article-title":"A Counterexample to Modus Ponens","volume":"82","author":"McGee","year":"1985","journal-title":"The Journal of Philosophy."},{"key":"10.1016\/j.procs.2026.01.057_bib16","doi-asserted-by":"crossref","unstructured":"Wei J, Wang X, Schuurmans D, Bosma M, Ichter B, Xia F, Chi E, Le Q, Zhou D. Chain-of-thought prompting elicits reasoning in large language models. In: Advances in Neural Information Processing Systems; 2022. p. 24824-24837.","DOI":"10.52202\/068431-1800"},{"key":"10.1016\/j.procs.2026.01.057_bib17","unstructured":"Zhou D, Sch\u00e4rli N, Hou L, Wei J, Scales N, Wang X, Schuurmans D, Cui C, Bousquet O, Le Q, Chi E. Least-to-most prompting enables complex reasoning in large language models. In: Proceedings of the International Conference on Learning Representations; 2023."},{"key":"10.1016\/j.procs.2026.01.057_bib18","doi-asserted-by":"crossref","unstructured":"Olausson TH, Gu A, Lipkin B, Zhang CE, Goodman ND, Liang P, Solar-Lezama A. LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers. In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing; 2023. p. 5153-5176.","DOI":"10.18653\/v1\/2023.emnlp-main.313"},{"key":"10.1016\/j.procs.2026.01.057_bib19","unstructured":"Han S, Schoelkopf H, Zhao Y, Qi Z, Riddell M, Benson L, Sun L, Zubova E, Qiao Y, Burtell M, Peng D, Fan J, Liu Y, Wong B, Sailor M, Ni A, Nan L, Kasai J, Yu T, Pasunuru R, Celikyilmaz A, Zhang R, Radev D, Jha A, Yan X, Arivazhagan N, Chen X, Meng Z, Xiong C, Raghunathan S, Huang M, Jiao F, Su Y, Xiong W, Wang S, Deng L, Zhang T, Hajishirzi H. FOLIO: Natural language reasoning with first-order logic. arXiv preprint arXiv:2209.00840. 2022."},{"key":"10.1016\/j.procs.2026.01.057_bib20","unstructured":"Tian Y, Cui L, Song F, Song Y, Zhang Y. LogicNLI: A dataset for natural language inference with logical reasoning. In: Findings of the Association for Computational Linguistics: EMNLP 2021; 2021. p. 3433-3444."},{"key":"10.1016\/j.procs.2026.01.057_bib21","doi-asserted-by":"crossref","unstructured":"Tafjord O, Dalvi B, Clark P. ProofWriter: Generating implications, proofs, and abductive statements over natural language. In: Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021; 2021. p. 3621-3634.","DOI":"10.18653\/v1\/2021.findings-acl.317"},{"key":"10.1016\/j.procs.2026.01.057_bib22","doi-asserted-by":"crossref","unstructured":"Holliday WH, Mandelkern M, Zhang CE. Conditional and Modal Reasoning in Large Language Models - Dataset. GitHub repository; 2024. Available from: https:\/\/github.com\/wesholliday\/llm-logic","DOI":"10.18653\/v1\/2024.emnlp-main.222"},{"key":"10.1016\/j.procs.2026.01.057_bib23","unstructured":"Shahrokhshahi F, Mohammadi F. LogiCue: Experimental Data and Model Responses. GitHub repository; 2025. Available from:https:\/\/github.com\/fatemeshahrokhshahi\/LogiCue"}],"container-title":["Procedia Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1877050926000578?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1877050926000578?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:13:20Z","timestamp":1777893200000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1877050926000578"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":23,"alternative-id":["S1877050926000578"],"URL":"https:\/\/doi.org\/10.1016\/j.procs.2026.01.057","relation":{},"ISSN":["1877-0509"],"issn-type":[{"value":"1877-0509","type":"print"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"LogiCue: Targeted Prompting for Improved Modal and Conditional Reasoning in Large Language Models","name":"articletitle","label":"Article Title"},{"value":"Procedia Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.procs.2026.01.057","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}