{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T04:10:02Z","timestamp":1748059802679,"version":"3.41.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T00:00:00Z","timestamp":1746662400000},"content-version":"vor","delay-in-days":7,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2025,5]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>The ability of an agent to comprehend a sentence is tightly connected to the agent\u2019s prior experiences and background knowledge. The article suggests to interpret comprehension as a modality and proposes a complete bimodal logical system that describes an interplay between comprehension and knowledge modalities. The main technical result is a completeness theorem for the proposed system\n<\/jats:p>","DOI":"10.1007\/s10849-025-09431-1","type":"journal-article","created":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T01:28:41Z","timestamp":1746667721000},"page":"169-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Comprehension and Knowledge"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1687-045X","authenticated-orcid":false,"given":"Pavel","family":"Naumov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Ros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,5,8]]},"reference":[{"issue":"1\/2","key":"9431_CR1","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1023\/b:phil.0000019546.17135.e0","volume":"118","author":"DJ Chalmers","year":"2004","unstructured":"Chalmers, D. J. (2004). Epistemic two-dimensional semantics. Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, 118(1\/2), 153\u2013226. https:\/\/doi.org\/10.1023\/b:phil.0000019546.17135.e0","journal-title":"Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition"},{"key":"9431_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-94-010-0550-0_2","volume-title":"Logical and computational aspects of model-based reasoning","author":"I D\u2019Hanis","year":"2002","unstructured":"D\u2019Hanis, I. (2002). A logical approach to the analysis of metaphors. In L. M. N. N. C. Pizzi (Ed.), Logical and computational aspects of model-based reasoning (pp. 21\u201337). Springer. https:\/\/doi.org\/10.1007\/978-94-010-0550-0_2"},{"key":"9431_CR3","doi-asserted-by":"publisher","unstructured":"Epstein, S., & Naumov, P. (2021). Epistemic logic of know-who. In Proceedings of thirty-fifth AAAI conference on artificial intelligence (AAAI-21). https:\/\/doi.org\/10.1609\/aaai.v35i13.17367","DOI":"10.1609\/aaai.v35i13.17367"},{"key":"9431_CR4","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exad053","author":"S Epstein","year":"2023","unstructured":"Epstein, S., Naumov, P., & Tao, J. (2023). An egocentric logic of de dicto and de re knowing who. Journal of Logic and Computation. https:\/\/doi.org\/10.1093\/logcom\/exad053","journal-title":"Journal of Logic and Computation"},{"issue":"10","key":"9431_CR5","doi-asserted-by":"publisher","first-page":"1753","DOI":"10.1007\/s11229-013-0260-x","volume":"190","author":"P Fritz","year":"2013","unstructured":"Fritz, P. (2013). A logic for epistemic two-dimensional semantics. Synthese, 190(10), 1753\u20131770. https:\/\/doi.org\/10.1007\/s11229-013-0260-x","journal-title":"Synthese"},{"issue":"1","key":"9431_CR6","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/bf00649988","volume":"1","author":"DM Gabbay","year":"1972","unstructured":"Gabbay, D. M. (1972). A general filtration method for modal logics. Journal of Philosophical Logic, 1(1), 29\u201334. https:\/\/doi.org\/10.1007\/bf00649988","journal-title":"Journal of Philosophical Logic"},{"key":"9431_CR7","doi-asserted-by":"publisher","unstructured":"Gattinger, M., & Wang, Y. (2019). How to agree without understanding each other: Public announcement logic with Boolean definitions. In L. S. Moss (Ed.), Proceedings seventeenth conference on theoretical aspects of rationality and knowledge, TARK 2019, Toulouse, France, 17\u201319 July 2019 (vol. 297, pp. 206\u2013220). EPTCS. https:\/\/doi.org\/10.4204\/EPTCS.297.14","DOI":"10.4204\/EPTCS.297.14"},{"issue":"2","key":"9431_CR8","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(95)98593-d","volume":"74","author":"AJ Grove","year":"1995","unstructured":"Grove, A. J. (1995). Naming and identity in epistemic logic part II: a first-order logic for naming. Artificial Intelligence, 74(2), 311\u2013350. https:\/\/doi.org\/10.1016\/0004-3702(95)98593-d","journal-title":"Artificial Intelligence"},{"key":"9431_CR9","unstructured":"Grove, A. J., & Halpern, J. Y. (1991). Naming and identity in a multi-agent epistemic logic. In J. F. Allen, R.\u00a0Fikes, & E.\u00a0Sandewall (Eds.), Proceedings of the 2nd international conference on principles of knowledge representation and reasoning (KR\u201991) (pp. 301\u2013312). Cambridge, MA, USA, April 22\u201325, 1991. Morgan Kaufmann."},{"issue":"4","key":"9431_CR10","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1093\/logcom\/3.4.345","volume":"3","author":"AJ Grove","year":"1993","unstructured":"Grove, A. J., & Halpern, J. Y. (1993). Naming and identity in epistemic logics part I: The propositional case. Journal of Logic and Computation, 3(4), 345\u2013378. https:\/\/doi.org\/10.1093\/logcom\/3.4.345","journal-title":"Journal of Logic and Computation"},{"issue":"5669","key":"9431_CR11","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1126\/science.1095455","volume":"304","author":"P Hagoort","year":"2004","unstructured":"Hagoort, P., Hald, L., Bastiaansen, M., & Petersson, K. M. (2004). Integration of word meaning and world knowledge in language comprehension. Science, 304(5669), 438\u2013441. https:\/\/doi.org\/10.1126\/science.1095455","journal-title":"Science"},{"key":"9431_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2013.12.003","volume":"209","author":"JY Halpern","year":"2014","unstructured":"Halpern, J. Y., & Kets, W. (2014). A logic for reasoning about ambiguity. Artificial Intelligence, 209, 1\u201310. https:\/\/doi.org\/10.1016\/j.artint.2013.12.003","journal-title":"Artificial Intelligence"},{"issue":"3","key":"9431_CR13","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1207\/s15327108ijap0403_4","volume":"4","author":"RL Helmreich","year":"1994","unstructured":"Helmreich, R. L. (1994). Anatomy of a system accident: The crash of Avianca Flight 052. The International Journal of Aviation Psychology, 4(3), 265\u2013284. https:\/\/doi.org\/10.1207\/s15327108ijap0403_4","journal-title":"The International Journal of Aviation Psychology"},{"key":"9431_CR14","volume-title":"Culture\u2019s consequences: Comparing values, behaviors, institutions and organizations across nations","author":"G Hofstede","year":"2001","unstructured":"Hofstede, G. (2001). Culture\u2019s consequences: Comparing values, behaviors, institutions and organizations across nations. Sage Publications."},{"key":"9431_CR15","doi-asserted-by":"publisher","unstructured":"Kennard, A., Anderegg, C., & Ewoldsen, D. (2017). Knowledge and comprehension. In Oxford research encyclopedia of communication. https:\/\/doi.org\/10.1093\/acrefore\/9780190228613.013.281","DOI":"10.1093\/acrefore\/9780190228613.013.281"},{"issue":"1","key":"9431_CR16","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1111\/1467-9280.00211","volume":"11","author":"B Keysar","year":"2000","unstructured":"Keysar, B., Barr, D. J., Balin, J. A., & Brauner, J. S. (2000). Taking perspective in conversation: The role of mutual knowledge in comprehension. Psychological Science, 11(1), 32\u201338. https:\/\/doi.org\/10.1111\/1467-9280.00211","journal-title":"Psychological Science"},{"key":"9431_CR17","doi-asserted-by":"publisher","DOI":"10.2307\/747918","author":"JA Langer","year":"1984","unstructured":"Langer, J. A. (1984). Examining background knowledge and text comprehension. Reading Research Quarterly. https:\/\/doi.org\/10.2307\/747918","journal-title":"Reading Research Quarterly"},{"key":"9431_CR18","doi-asserted-by":"publisher","unstructured":"Lewis, D. (1980). Index, Context, and Content. In: Kanger, S., \u014chman, S. (eds) Philosophy and Grammar. Synthese Library, vol 143. Springer, Dordrecht. https:\/\/doi.org\/10.1007\/978-94-009-9012-8_6","DOI":"10.1007\/978-94-009-9012-8_6"},{"issue":"1","key":"9431_CR19","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/s11466-010-0008-3","volume":"5","author":"X Li","year":"2010","unstructured":"Li, X., & Guo, X. (2010). A logic LU for understanding. Frontiers of Philosophy in China, 5(1), 142\u2013153. https:\/\/doi.org\/10.1007\/s11466-010-0008-3","journal-title":"Frontiers of Philosophy in China"},{"key":"9431_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5694-3","volume-title":"Multi-dimensional modal logic","author":"M Marx","year":"1997","unstructured":"Marx, M., & Venema, Y. (1997). Multi-dimensional modal logic. Springer."},{"key":"9431_CR21","doi-asserted-by":"publisher","unstructured":"Naumov, P., & Ros, K. (2021). Comprehension and knowledge. In Proceedings of thirty-fifth AAAI conference on artificial intelligence (AAAI-21). https:\/\/doi.org\/10.1609\/aaai.v35i13.17382","DOI":"10.1609\/aaai.v35i13.17382"},{"key":"9431_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2023.45","author":"P Naumov","year":"2023","unstructured":"Naumov, P., & Tao, J. (2023). An egocentric logic of knowing how to tell them apart. The Journal of Symbolic Logic. https:\/\/doi.org\/10.1017\/jsl.2023.45","journal-title":"The Journal of Symbolic Logic"},{"key":"9431_CR23","doi-asserted-by":"publisher","unstructured":"Naumov, P., & Wu, C. (2024). Egocentric doxastic logic. Logic and Logical Philosophy. https:\/\/doi.org\/10.12775\/llp.2024.024","DOI":"10.12775\/llp.2024.024"},{"key":"9431_CR24","unstructured":"NTSB. (1991). Aircraft accident report, Avianca, the airline of Columbia, Boeing 707-321B, HK 2016, fuel exhaustion, Cove Neck, New York, January 25, 1990. Technical Report AAR-91\/04, National Transportation Safety Board. https:\/\/www.ntsb.gov\/investigations\/AccidentReports\/Reports\/AAR9104.pdf"},{"key":"9431_CR25","first-page":"134","volume-title":"Cross-cultural work groups: The Claremont symposium on applied social psychology","author":"J Orasanu","year":"1997","unstructured":"Orasanu, J., Fischer, U., & Davison, J. (1997). Cross-cultural barriers to effective communication in aviation. In S. Oskamp & C. Granrose (Eds.), Cross-cultural work groups: The Claremont symposium on applied social psychology (pp. 134\u2013160). Sage Thousand Oaks."},{"issue":"2","key":"9431_CR26","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1016\/0022-0965(73)90167-7","volume":"16","author":"SG Paris","year":"1973","unstructured":"Paris, S. G. (1973). Comprehension of language connectives and propositional logical relationships. Journal of Experimental Child Psychology, 16(2), 278\u2013291. https:\/\/doi.org\/10.1016\/0022-0965(73)90167-7","journal-title":"Journal of Experimental Child Psychology"},{"issue":"3","key":"9431_CR27","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1080\/10862967909547324","volume":"11","author":"PD Pearson","year":"1979","unstructured":"Pearson, P. D., Hansen, J., & Gordon, C. (1979). The effect of background knowledge on young children\u2019s comprehension of explicit and implicit information. Journal of Reading Behavior, 11(3), 201\u2013209. https:\/\/doi.org\/10.1080\/10862967909547324","journal-title":"Journal of Reading Behavior"},{"issue":"4","key":"9431_CR28","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/j.jal.2010.08.006","volume":"8","author":"K Sano","year":"2010","unstructured":"Sano, K. (2010). Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic? Journal of Applied Logic, 8(4), 459\u2013474. https:\/\/doi.org\/10.1016\/j.jal.2010.08.006","journal-title":"Journal of Applied Logic"},{"issue":"1","key":"9431_CR29","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/b:phil.0000019550.81145.34","volume":"118","author":"RC Stalnaker","year":"2004","unstructured":"Stalnaker, R. C. (2004). Assertion revisited: On the interpretation of two-dimensional modal semantics. Philosophical Studies, 118(1), 299\u2013322. https:\/\/doi.org\/10.1023\/b:phil.0000019550.81145.34","journal-title":"Philosophical Studies"},{"issue":"4","key":"9431_CR30","first-page":"23","volume":"18","author":"W Zhang","year":"2004","unstructured":"Zhang, W., & Zhou, C. (2004). Study on logical description of Chinese metaphor comprehension. Journal of Chinese Information Processing, 18(4), 23\u201328.","journal-title":"Journal of Chinese Information Processing"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-025-09431-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-025-09431-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-025-09431-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T03:32:53Z","timestamp":1748057573000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-025-09431-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5]]},"references-count":30,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2025,5]]}},"alternative-id":["9431"],"URL":"https:\/\/doi.org\/10.1007\/s10849-025-09431-1","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2025,5]]},"assertion":[{"value":"5 April 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 May 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}