{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T19:44:52Z","timestamp":1751917492523},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662576687"},{"type":"electronic","value":"9783662576694"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-662-57669-4_18","type":"book-chapter","created":{"date-parts":[[2018,6,26]],"date-time":"2018-06-26T08:48:51Z","timestamp":1530002931000},"page":"307-324","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents"],"prefix":"10.1007","author":[{"given":"Sonja","family":"Smets","sequence":"first","affiliation":[]},{"given":"Anthia","family":"Solaki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,6,27]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s10849-008-9073-6","volume":"18","author":"N Alechina","year":"2009","unstructured":"Alechina, N., Logan, B.: A logic of situated resource-bounded agents. J. Log. Lang. Inf. 18, 79\u201395 (2009)","journal-title":"J. Log. Lang. Inf."},{"key":"18_CR2","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 1998, pp. 43\u201356. Morgan Kaufmann Publishers Inc., San Francisco (1998)"},{"key":"18_CR3","unstructured":"Baltag, A., Renne, B.: Dynamic epistemic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University (2016). Winter 2016 edn"},{"key":"18_CR4","unstructured":"Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Logic and the Foundations of Game and Decision Theory, Texts in Logic and Games, vol. 3, pp. 9\u201358 (2008)"},{"issue":"2","key":"18_CR5","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Class. Log. 17(2), 129\u2013155 (2007)","journal-title":"J. Appl. Non-Class. Log."},{"key":"18_CR6","first-page":"80","volume":"1","author":"J Benthem van","year":"2008","unstructured":"van Benthem, J.: Tell it like it is: information flow in logic. J. Peking Univ. (Humanit. Soc. Sci. Ed.) 1, 80\u201390 (2008)","journal-title":"J. Peking Univ. (Humanit. Soc. Sci. Ed.)"},{"key":"18_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)"},{"key":"18_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)"},{"key":"18_CR9","volume-title":"Minimal Rationality","author":"C Cherniak","year":"1986","unstructured":"Cherniak, C.: Minimal Rationality. MIT Press, Bradford (1986)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1017\/S0140525X01003922","volume":"24","author":"N Cowan","year":"2001","unstructured":"Cowan, N.: The magical number 4 in short-term memory: a reconsideration of mental storage capacity. Behav. Brain Sci. 24, 87\u2013114 (2001)","journal-title":"Behav. Brain Sci."},{"key":"18_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, 1st edn. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4","edition":"1"},{"issue":"5","key":"18_CR12","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"7","author":"HN Duc","year":"1997","unstructured":"Duc, H.N.: Reasoning about rational, but not logically omniscient, agents. J. Log. Comput. 7(5), 633 (1997)","journal-title":"J. Log. Comput."},{"issue":"1","key":"18_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1987","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artif. Intell. 34(1), 39\u201376 (1987)","journal-title":"Artif. Intell."},{"key":"18_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"issue":"2","key":"18_CR15","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. J. ACM 41(2), 340\u2013367 (1994)","journal-title":"J. ACM"},{"issue":"4","key":"18_CR16","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J Hintikka","year":"1975","unstructured":"Hintikka, J.: Impossible possible worlds vindicated. J. Philos. Log. 4(4), 475\u2013484 (1975)","journal-title":"J. Philos. Log."},{"issue":"3","key":"18_CR17","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1037\/0033-295X.99.3.418","volume":"99","author":"PN Johnson-Laird","year":"1992","unstructured":"Johnson-Laird, P.N., Byrne, R.M., Schaeken, W.: Propositional reasoning by model. Psychol. Rev. 99(3), 418\u2013439 (1992)","journal-title":"Psychol. Rev."},{"issue":"3","key":"18_CR18","doi-asserted-by":"publisher","first-page":"101","DOI":"10.3758\/BF03210302","volume":"2","author":"D Kahneman","year":"1967","unstructured":"Kahneman, D., Beatty, J.: Pupillary responses in a pitch-discrimination task. Percept. Psychophys. 2(3), 101\u2013105 (1967)","journal-title":"Percept. Psychophys."},{"key":"18_CR19","volume-title":"Theory of Knowledge","author":"K Lehrer","year":"2000","unstructured":"Lehrer, K.: Theory of Knowledge. Westview Press, Boulder City (2000)"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1037\/h0043158","volume":"63","author":"G Miller","year":"1956","unstructured":"Miller, G.: The magical number seven, plus or minus 2: some limits on our capacity for processing information. Psychol. Rev. 63, 81\u201397 (1956)","journal-title":"Psychol. Rev."},{"key":"18_CR21","unstructured":"Parikh, R.: Knowledge and the problem of logical omniscience. In: Proceedings of the Second International Symposium on Methodologies for Intelligent Systems, pp. 432\u2013439. North-Holland Publishing Co., Amsterdam (1987)"},{"issue":"2","key":"18_CR22","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese 158(2), 165\u2013179 (2007)","journal-title":"Synthese"},{"key":"18_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1037\/h0087326","volume":"54","author":"CR Sears","year":"2000","unstructured":"Sears, C.R., Pylyshyn, Z.: Multiple object tracking and attentional processing. Can. J. Exp. Psychol. 54, 1\u201314 (2000)","journal-title":"Can. J. Exp. Psychol."},{"key":"18_CR24","first-page":"106","volume":"35","author":"V Rantala","year":"1982","unstructured":"Rantala, V.: Impossible worlds semantics and logical omniscience. Acta Philos. Fenn. 35, 106\u2013115 (1982)","journal-title":"Acta Philos. Fenn."},{"key":"18_CR25","first-page":"377","volume":"24","author":"MS Rasmussen","year":"2015","unstructured":"Rasmussen, M.S.: Dynamic epistemic logic and logical omniscience. Log. Log. Philos. 24, 377\u2013399 (2015)","journal-title":"Log. Log. Philos."},{"key":"18_CR26","unstructured":"Rasmussen, M.S., Bjerring, J.C.: A dynamic solution to the problem of logical omniscience. J. Philos. Log. (forthcoming)"},{"key":"18_CR27","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5680.001.0001","volume-title":"The Psychology of Proof: Deductive Reasoning in Human Thinking","author":"LJ Rips","year":"1994","unstructured":"Rips, L.J.: The Psychology of Proof: Deductive Reasoning in Human Thinking. MIT Press, Cambridge (1994)"},{"key":"18_CR28","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1037\/0278-7393.29.1.140","volume":"29","author":"W Schroyens","year":"2003","unstructured":"Schroyens, W., Schaeken, W.: A critique of Oaksford, Chater, and Larkin\u2019s (2000) conditional probability model of conditional reasoning. J. Exp. Psychol. Learn. Mem. Cogn. 29, 140\u2013149 (2003)","journal-title":"J. Exp. Psychol. Learn. Mem. Cogn."},{"issue":"2","key":"18_CR29","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1080\/13546780042000091","volume":"7","author":"WJ Schroyens","year":"2001","unstructured":"Schroyens, W.J., Schaeken, W., D\u2019Ydewalle, G.: The processing of negations in conditional reasoning: a meta-analytic case study in mental model and\/or mental logic theory. Think. Reason. 7(2), 121\u2013172 (2001)","journal-title":"Think. Reason."},{"key":"18_CR30","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","volume-title":"Causation in Decision, Belief Change, and Statistics","author":"Wolfgang Spohn","year":"1988","unstructured":"Spohn, W.: Ordinal conditional functions. A dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. 2. Kluwer Academic Publishers (1988)"},{"issue":"1","key":"18_CR31","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s11098-005-4062-y","volume":"128","author":"R Stalnaker","year":"2006","unstructured":"Stalnaker, R.: On logics of knowledge and belief. Philos. Stud. 128(1), 169\u2013199 (2006)","journal-title":"Philos. Stud."},{"issue":"5","key":"18_CR32","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1017\/S0140525X00003435","volume":"23","author":"KE Stanovich","year":"2000","unstructured":"Stanovich, K.E., West, R.F.: Individual differences in reasoning: implications for the rationality debate? Behav. Brain Sci. 23(5), 645\u2013665 (2000)","journal-title":"Behav. Brain Sci."},{"key":"18_CR33","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human Reasoning and Cognitive Science","author":"K Stenning","year":"2008","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Boston (2008)"},{"key":"18_CR34","unstructured":"Vel\u00e1zquez-Quesada, F.R.: Small steps in dynamics of information. Ph.D. thesis, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam (UvA), Amsterdam, The Netherlands (2011)"},{"issue":"4","key":"18_CR35","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/BF00370163","volume":"49","author":"H Wansing","year":"1990","unstructured":"Wansing, H.: A general possible worlds framework for reasoning about knowledge and belief. Stud. Logica 49(4), 523\u2013539 (1990)","journal-title":"Stud. Logica"},{"issue":"2","key":"18_CR36","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1023\/A:1005565603303","volume":"50","author":"R Wassermann","year":"1999","unstructured":"Wassermann, R.: Resource bounded belief revision. Erkenntnis 50(2), 429\u2013446 (1999)","journal-title":"Erkenntnis"},{"issue":"4","key":"18_CR37","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.tics.2009.01.008","volume":"13","author":"Y Xu","year":"2009","unstructured":"Xu, Y., Chun, M.M.: Selecting and perceiving multiple visual objects. Trends Cogn. Sci. 13(4), 167\u2013174 (2009)","journal-title":"Trends Cogn. Sci."}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-57669-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,7]],"date-time":"2024-07-07T18:39:12Z","timestamp":1720377552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-57669-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783662576687","9783662576694"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-57669-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}