{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T03:06:17Z","timestamp":1763867177112},"reference-count":73,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1007\/s10849-014-9196-x","type":"journal-article","created":{"date-parts":[[2014,4,10]],"date-time":"2014-04-10T11:54:06Z","timestamp":1397130846000},"page":"1-29","source":"Crossref","is-referenced-by-count":9,"title":["Strategic Reasoning: Building Cognitive Models from Logical Formulas"],"prefix":"10.1007","volume":"23","author":[{"given":"Sujata","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Meijering","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rineke","family":"Verbrugge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,4,11]]},"reference":[{"key":"9196_CR1","unstructured":"Agotnes, T., & Alechina, N. (2006). (Eds.), Proceedings of the workshop on resource-bounded agents. European Summer School on Logic, Language and Information, Malaga."},{"issue":"1","key":"9196_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/logcom\/exl019","volume":"17","author":"T Agotnes","year":"2007","unstructured":"Agotnes, T., & Alechina, N. (2007). The dynamics of syntactic knowledge. Journal of Logic and Computation, 17(1), 83\u2013116.","journal-title":"Journal of Logic and Computation"},{"key":"9196_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780195324259.001.0001","volume-title":"How can the human mind occur in the physical universe?","author":"J Anderson","year":"2007","unstructured":"Anderson, J. (2007). How can the human mind occur in the physical universe?. New York (NY): Oxford University Press."},{"key":"9196_CR4","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1207\/s15516709cog0000_22","volume":"29","author":"JR Anderson","year":"2005","unstructured":"Anderson, J. R. (2005). Human symbol manipulation within an integrated cognitive architecture. Cognitive Science, 29, 313\u2013341.","journal-title":"Cognitive Science"},{"issue":"4","key":"9196_CR5","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1037\/0033-295X.111.4.1036","volume":"111","author":"JR Anderson","year":"2004","unstructured":"Anderson, J. R., Bothell, D., Byrne, M. D., Douglass, S., Lebiere, C., & Qin, Y. (2004). An integrated theory of the mind. Psychological Review, 111(4), 1036\u20131060.","journal-title":"Psychological Review"},{"issue":"6","key":"9196_CR6","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1111\/j.1467-9280.1991.tb00174.x","volume":"2","author":"JR Anderson","year":"1991","unstructured":"Anderson, J. R., & Schooler, L. J. (1991). Reflections of the environment in memory. Psychological Science, 2(6), 396\u2013408.","journal-title":"Psychological Science"},{"key":"9196_CR7","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/s11225-007-9065-6","volume":"86","author":"H Arl\u00f3-Costa","year":"2007","unstructured":"Arl\u00f3-Costa, H., & Bicchieri, C. (2007). Knowing and supposing in games of perfect information. Studia logica, 86, 353\u2013373.","journal-title":"Studia logica"},{"key":"9196_CR8","unstructured":"Artemov, S. (2009). Knowledge-based rational decisions. Technical Report TR-2009006, The CUNY Graduate Center, New York, NY."},{"issue":"1","key":"9196_CR9","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/S0899-8256(05)80015-6","volume":"8","author":"RJ Aumann","year":"1995","unstructured":"Aumann, R. J. (1995). Backward induction and common knowledge of rationality. Games and Economic Behavior, 8(1), 6\u201319.","journal-title":"Games and Economic Behavior"},{"issue":"2","key":"9196_CR10","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/s11229-009-9559-z","volume":"169","author":"A Baltag","year":"2009","unstructured":"Baltag, A., Smets, S., & Zvesper, J. (2009). Keep \u2018hoping\u2019 for rationality: A solution to the backward induction paradox. Synthese, 169(2), 301\u2013333.","journal-title":"Synthese"},{"key":"9196_CR11","doi-asserted-by":"crossref","unstructured":"Battigalli, P. (1997). On rationalizabiliry in extensive games. Journal of Economic Theory, 74, 40\u201361.","DOI":"10.1006\/jeth.1996.2252"},{"key":"9196_CR12","unstructured":"Bicchieri, C. (1988). Common knowledge and backward induction: A solution to the paradox. In M. Vardi (Ed.), TARK \u201988: Proceedings of the 2nd conference on theoretical aspects of reasoning about knowledge (pp. 381\u2013393), San Francisco, CA, USA: Morgan Kaufmann Publishers Inc."},{"key":"9196_CR13","doi-asserted-by":"crossref","unstructured":"Binmore, K. (1996). A note on backward induction. Games and Economic Behavior, 17(1), 135\u2013137.","DOI":"10.1006\/game.1996.0098"},{"issue":"03","key":"9196_CR14","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1017\/S1357530902000704","volume":"7","author":"G Bonanno","year":"2002","unstructured":"Bonanno, G. (2002). Modal logic and game theory: Two alternative approaches. Risk, Decision and Policy, 7(03), 309\u2013324.","journal-title":"Risk, Decision and Policy"},{"issue":"2","key":"9196_CR15","first-page":"363","volume":"36","author":"J Borst","year":"2010","unstructured":"Borst, J., Taatgen, N., & van Rijn, H. (2010). The problem state: A cognitive bottleneck in multitasking. Journal of Experimental Psychology: Learning, Memory, & Cognition, 36(2), 363\u2013382.","journal-title":"Journal of Experimental Psychology: Learning, Memory, & Cognition"},{"key":"9196_CR16","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/s00182-006-0061-2","volume":"35","author":"A Brandenburger","year":"2007","unstructured":"Brandenburger, A. (2007). The power of paradox: Some recent developments in interactive epistemology. International Journal of Game Theory, 35, 465\u2013492.","journal-title":"International Journal of Game Theory"},{"key":"9196_CR17","volume-title":"Behavioral Game Theory: Experiments in Strategic Interaction","author":"CF Camerer","year":"2003","unstructured":"Camerer, C. F. (2003). Behavioral Game Theory: Experiments in Strategic Interaction. Princeton: Princeton University Press."},{"key":"9196_CR18","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Henzinger, T., & Piterman, N. (2007). Strategy logic. In Proceedings of the 18th international conference on concurrency theory (CONCUR 07), LNCS 4703, (pp. 59\u201373). Springer.","DOI":"10.1007\/978-3-540-74407-8_5"},{"key":"9196_CR19","first-page":"139","volume":"26","author":"AW Colman","year":"2003","unstructured":"Colman, A. W. (2003). Cooperation, psychological game theory, and limitations of rationality in social interaction. Behavioral and Brain Sciences, 26, 139\u2013198.","journal-title":"Behavioral and Brain Sciences"},{"key":"9196_CR20","unstructured":"Edmonds, B. (2010). Social intelligence and multi-agent systems. In Invited talk, MALLOW\u201910."},{"issue":"1\u20133","key":"9196_CR21","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s11225-011-9358-7","volume":"99","author":"M Fitting","year":"2011","unstructured":"Fitting, M. (2011). Reasoning about games. Studia Logica, 99(1\u20133), 143\u2013169.","journal-title":"Studia Logica"},{"key":"9196_CR22","doi-asserted-by":"crossref","unstructured":"Flobbe, L., Verbrugge, R., Hendriks, P., & Kr\u00e4mer, I. (2008). Children\u2019s application of theory of mind in reasoning and language. Journal of Logic, Language and Information. In M. Counihan (Ed.), Special issue on formal models for real people, (Vol. 17, pp.417\u2013442).","DOI":"10.1007\/s10849-008-9064-7"},{"key":"9196_CR23","unstructured":"Ghosh, S. (2008). Strategies made explicit in dynamic game logic. In J. v. Benthem & E. Pacuit (Eds.), Proceedings of the workshop on logic and intelligent interaction, ESSLLI, (pp. 74\u201381)."},{"key":"9196_CR24","unstructured":"Ghosh, S., & Meijering, B. (2011). On combining cognitive and formal modeling: A case study involving strategic reasoning. In J. van Eijck & R. Verbrugge (Eds.), Proceedings of the workshop on reasoning about other minds (RAOM 2011), CEUR workshop proceedings (Vol. 751, pp. 79\u201392)."},{"key":"9196_CR25","unstructured":"Ghosh, S., Meijering, B., & Verbrugge, R. (2010). Logic meets cognition: Empirical reasoning in games. In Proceedings of the 3rd international workshop on logics for resource bounded agents (LRBA 2010), in 3rd multi-agent logics, languages, and organisations federated workshops, MALLOW\u201910, CEUR workshop proceedings, (Vol. 627, pp. 15\u201334)."},{"key":"9196_CR26","unstructured":"Ghosh, S., & Ramanujam, R. (2012). Strategies in games: A logic-automata study. In N. Bezhanishvili & V. Goranko (Eds.), Lectures on Logic and Computation: ESSLLI 2010 Copenhagen (pp. 110\u2013159)., Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes, volume 7388 of Lecture Notes in Computer Science Berlin: Springer."},{"key":"9196_CR27","doi-asserted-by":"crossref","unstructured":"Gierasimczuk, N., Maas, H. v. d., & Raijmakers, M. (2013). An analytic tableau model for deductive mastermind empirically tested with a massively used online learning system. Journal of Logic, Language and Information. In J. Szymanik & R. Verbrugge (Eds.), Special issue on logic and cognition, (Vol. 22, No. 3, pp. 297\u2013314).","DOI":"10.1007\/s10849-013-9177-5"},{"key":"9196_CR28","volume-title":"Simple heuristics that make us smart","author":"G Gigerenzer","year":"1999","unstructured":"Gigerenzer, G., & Todd, P. (1999). Simple heuristics that make us smart. New York: Oxford University Press."},{"issue":"2","key":"9196_CR29","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1016\/j.cogsys.2010.07.009","volume":"12","author":"G Gunzelmann","year":"2011","unstructured":"Gunzelmann, G., Moore, L. R., Salvucci, D. D., & Gluck, K. A. (2011). Sleep loss and driver performance: Quantitative predictions with zero free parameters. Cognitive Systems Research, 12(2), 154\u2013163.","journal-title":"Cognitive Systems Research"},{"key":"9196_CR30","unstructured":"Halpern, J. Y., & Pass, R. (2009). Iterated regret minimization: A new solution concept. In C. Boutilier (Ed.), Proceedings of IJCAI-09: 21st international joint conferences on artificial intelligence (pp. 153\u2013158). USA: Pasadena, CA."},{"issue":"2","key":"9196_CR31","first-page":"281","volume":"57","author":"B Harrenstein","year":"2003","unstructured":"Harrenstein, B., van der Hoek, W., Meyer, J.-J. C., & Witteveen, C. (2003). A modal characterization of Nash equilibrium. Fundamenta Informaticae, 57(2), 281\u2013321.","journal-title":"Fundamenta Informaticae"},{"key":"9196_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0010-0277(02)00054-9","volume":"85","author":"T Hedden","year":"2002","unstructured":"Hedden, T., & Zhang, J. (2002). What do you think I think you think? Strategic reasoning in matrix games. Cognition, 85, 1\u201336.","journal-title":"Cognition"},{"key":"9196_CR33","doi-asserted-by":"crossref","unstructured":"Hoek, W. v. d., Jamroga, W., & Wooldridge, M. (2005). A logic for strategic reasoning. In Proceedings of the fourth international joint conference on autonomous agents and multi-agent systems (AAMAS 05), (pp. 157\u2013164). ACM Inc, New York.","DOI":"10.1145\/1082473.1082497"},{"key":"9196_CR34","first-page":"185","volume":"63","author":"W Jamroga","year":"2004","unstructured":"Jamroga, W., & van der Hoek, W. (2004). Agents that know how to play. Fundamenta Informaticae, 63, 185\u2013219.","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"9196_CR35","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1006\/jeth.2001.2850","volume":"104","author":"EJ Johnson","year":"2002","unstructured":"Johnson, E. J., Camerer, C. F., Sen, S., & Rymon, T. (2002). Detecting failures of backward induction: Monitoring information search in sequential bargaining. Journal of Economic Theory, 104(1), 16\u201347.","journal-title":"Journal of Economic Theory"},{"key":"9196_CR36","volume-title":"Game theory: Mathematical models of conflict","author":"A Jones","year":"1980","unstructured":"Jones, A. (1980). Game theory: Mathematical models of conflict. Chichester: Wiley."},{"key":"9196_CR37","unstructured":"Juvina, I., & Taatgen, N. A. (2007). Modeling control strategies in the N-back task. In Proceedings of the 8th international conference on cognitive modeling, (pp. 73\u201378). New York, NY, Psychology Press."},{"issue":"2","key":"9196_CR38","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0022-0531(82)90029-1","volume":"27","author":"DM Kreps","year":"1982","unstructured":"Kreps, D. M., Milgrom, P., Roberts, J., & Wilson, R. (1982). Rational cooperation in the finitely repeated prisoners\u2019 dilemma. Journal of Economic Theory, 27(2), 245\u2013252.","journal-title":"Journal of Economic Theory"},{"issue":"3","key":"9196_CR39","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1207\/s15516709cog0000_24","volume":"29","author":"MC Lovett","year":"2005","unstructured":"Lovett, M. C. (2005). A strategy-based interpretation of Stroop. Cognitive Science, 29(3), 493\u2013524.","journal-title":"Cognitive Science"},{"issue":"2","key":"9196_CR40","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0010-0277(91)90039-7","volume":"39","author":"K Manktelow","year":"1991","unstructured":"Manktelow, K., & Over, D. (1991). Social roles and utilities in reasoning with deontic conditionals. Cognition, 39(2), 85\u2013105.","journal-title":"Cognition"},{"key":"9196_CR41","volume-title":"Vision","author":"D Marr","year":"1982","unstructured":"Marr, D. (1982). Vision. New York: Freeman and Company."},{"issue":"4","key":"9196_CR42","doi-asserted-by":"crossref","first-page":"803","DOI":"10.2307\/2951567","volume":"60","author":"R McKelvey","year":"1992","unstructured":"McKelvey, R., & Palfrey, T. (1992). An experimental study of the centipede game. Econometrica, 60(4), 803\u2013836.","journal-title":"Econometrica"},{"key":"9196_CR43","unstructured":"Meijering, B., Maanen, L. v., Rijn, H. v., & Verbrugge, R. (2010). The facilitative effect of context on second-order social reasoning. In Proceedings of the 32nd annual meeting of the cognitive science society, (pp. 1423\u20131428). Philadelphia, PA, Cognitive Science Society."},{"key":"9196_CR44","unstructured":"Meijering, B., Rijn, H. v., Taatgen, N., & Verbrugge, R. (2012). I do know what you think I think: Second-order theory of mind in strategic games is not that difficult. In Proceedings of the 33nd annual meeting of the cognitive science society, (pp. 2486\u20132491), Austin, TX. Cognitive Science Society."},{"key":"9196_CR45","unstructured":"Meijering, B., Rijn, H. v., Taatgen, N. A., & Verbrugge, R. (2013a). Reasoning about diamonds, gravity and mental states: The cognitive costs of theory of mind. In Proceedings of the 35th annual conference of the cognitive science society, Berlin."},{"key":"9196_CR46","unstructured":"Meijering, B., Taatgen, N. A., Rijn, H. v. & Verbrugge, R. (2013b). Reasoning about mental states in sequential games: As simple as possible, as complex as necessary. In Proceedings of the 12th international conference on cognitive modeling, Ottawa."},{"issue":"9","key":"9196_CR47","doi-asserted-by":"crossref","first-page":"e45961","DOI":"10.1371\/journal.pone.0045961","volume":"7","author":"B Meijering","year":"2012","unstructured":"Meijering, B., van Rijn, H., Taatgen, N., & Verbrugge, R. (2012). What eye movements can tell about theory of mind in a strategic game. PLoS ONE, 7(9), e45961.","journal-title":"PLoS ONE"},{"issue":"1","key":"9196_CR48","doi-asserted-by":"crossref","first-page":"137","DOI":"10.2307\/1420555","volume":"80","author":"JA Michon","year":"1967","unstructured":"Michon, J. A. (1967). The game of JAM-an isomorph of Tic-Tac-Toe. American Journal of Psychology, 80(1), 137\u2013140.","journal-title":"American Journal of Psychology"},{"issue":"1","key":"9196_CR49","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1111\/cogs.12001","volume":"37","author":"E Nyamsuren","year":"2013","unstructured":"Nyamsuren, E., & Taatgen, N. (2013). Set as instance of a real-world visual-cognitive task. Cognitive Science, 37(1), 146\u2013175.","journal-title":"Cognitive Science"},{"key":"9196_CR50","volume-title":"A course in game theory","author":"M Osborne","year":"1994","unstructured":"Osborne, M., & Rubinstein, A. (1994). A course in game theory. Cambridge, MA: MIT Press."},{"key":"9196_CR51","unstructured":"Paul, S., Ramanujam, R., & Simon, S. (2009). Stability under strategy switching. In Proceedings of the 5th conference on computability in Europe (CiE 2009), volume 5635 of LNCS, (pp. 389\u2013398). Berlin: Springer."},{"key":"9196_CR52","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M Pauly","year":"2002","unstructured":"Pauly, M. (2002). A modal logic for coalitional power in games. Journal of Logic and Computation, 12, 149\u2013166.","journal-title":"Journal of Logic and Computation"},{"key":"9196_CR53","doi-asserted-by":"crossref","first-page":"1029","DOI":"10.2307\/1911197","volume":"52","author":"D Pearce","year":"1984","unstructured":"Pearce, D. (1984). Rationalizable strategic behaviour and the problem of perfection. Econometrica, 52, 1029\u20131050.","journal-title":"Econometrica"},{"issue":"3","key":"9196_CR54","doi-asserted-by":"crossref","first-page":"168","DOI":"10.3390\/g1030168","volume":"1","author":"A Perea","year":"2010","unstructured":"Perea, A. (2010). Backward induction versus forward induction reasoning. Games, 1(3), 168\u2013188.","journal-title":"Games"},{"key":"9196_CR55","doi-asserted-by":"crossref","unstructured":"Pinchinat, S. (2007). A generic constructive solution for concurrent games with expressive constraints on strategies. In Proceedings of the 5th international symposium on automated technology for verification and analysis (ATVA\u201907), LNCS (Vol. 4762, pp. 253\u2013267). Springer.","DOI":"10.1007\/978-3-540-75596-8_19"},{"key":"9196_CR56","doi-asserted-by":"crossref","DOI":"10.1515\/9781400828678","volume-title":"How to solve It. A new aspect of mathematical method","author":"G Polya","year":"1945","unstructured":"Polya, G. (1945). How to solve It. A new aspect of mathematical method. Princeton, NJ: Princeton University Press."},{"key":"9196_CR57","doi-asserted-by":"crossref","unstructured":"Raijmakers, M., Mandell, D., Es, S. v., & Counihan, M. (2014). Children\u2019s strategy use when playing strategic games. Synthese. In R. Verbrugge (Ed.), Special issue on reasoning about other minds.","DOI":"10.1007\/s11229-012-0212-x"},{"key":"9196_CR58","unstructured":"Ramanujam, R., & Simon, S. (2008). A logical structure for strategies. In Logic and the foundations of game and decision theory (LOFT 7), volume 3 of texts in logic and games, (pp. 183\u2013208). Amsterdam University Press."},{"key":"9196_CR59","doi-asserted-by":"crossref","first-page":"627","DOI":"10.2307\/2951586","volume":"60","author":"P Reny","year":"1992","unstructured":"Reny, P. (1992). Backward induction, normal form perfection and explicable equilibria. Econometrica, 60, 627\u2013649.","journal-title":"Econometrica"},{"issue":"1","key":"9196_CR60","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1207\/S15327051HCI1601_2","volume":"16","author":"DD Salvucci","year":"2001","unstructured":"Salvucci, D. D., & Anderson, J. R. (2001). Automated eye-movement protocol analysis. Human-Computer Interaction, 16(1), 39\u201386.","journal-title":"Human-Computer Interaction"},{"issue":"1","key":"9196_CR61","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1146\/annurev.ps.30.020179.002051","volume":"30","author":"H Simon","year":"1979","unstructured":"Simon, H. (1979). Information processing models of cognition. Annual Review of Psychology, 30(1), 363\u2013396.","journal-title":"Annual Review of Psychology"},{"key":"9196_CR62","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF01079205","volume":"37","author":"R Stalnaker","year":"1996","unstructured":"Stalnaker, R. (1996). On the evaluation of solution concepts. Theory and Decision, 37, 49\u201373.","journal-title":"Theory and Decision"},{"issue":"3","key":"9196_CR63","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1023\/A:1011211207884","volume":"10","author":"K Stenning","year":"2001","unstructured":"Stenning, K., & van Lambalgen, M. (2001). Semantics as a foundation for psychology: A case study of Wason\u2019s selection task. Journal of Logic, Language and Information, 10(3), 273\u2013317.","journal-title":"Journal of Logic, Language and Information"},{"key":"9196_CR64","doi-asserted-by":"crossref","unstructured":"Stenning, K., & van Lambalgen, M. (2004). A little logic goes a long way: Basing experiment on semantic theory in the cognitive science of conditional reasoning. Cognitive Science, 28(4), 481\u2013529.","DOI":"10.1207\/s15516709cog2804_1"},{"key":"9196_CR65","unstructured":"Szymanik, J., Meijering, B., & Verbrugge, R. (2013). Using intrinsic complexity of turn-taking games to predict participants\u2019 reaction times. In Proceedings of the 35th annual conference of the cognitive science society, Berlin."},{"key":"9196_CR66","unstructured":"van Benthem, J. (2008). Logic and reasoning: Do the facts matter? Studia logica. In H. Leitgeb (Ed.), Special issue on logic and the new psychologism, (Vol. 88, pp. 67\u201384)."},{"issue":"1","key":"9196_CR67","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W Hoek van der","year":"2003","unstructured":"van der Hoek, W., & Wooldridge, M. (2003). Time, knowledge and cooperation: Alternating-time temporal epistemic logic and its applications. Studia Logica, 75(1), 125\u2013157.","journal-title":"Studia Logica"},{"key":"9196_CR68","doi-asserted-by":"crossref","unstructured":"van Lambalgen M., & Counihan, M. (2008). Formal models for real people. Journal of Logic, Language and Information. In M. Counihan (Ed.), Special issue on formal models for real people, (Vol. 17, pp. 385\u2013389).","DOI":"10.1007\/s10849-008-9068-3"},{"key":"9196_CR69","unstructured":"van Maanen, L. v., & Verbrugge, R. (2010). A computational model of second-order social reasoning. In Proceedings of the 10th international conference on cognitive modeling, (pp. 259\u2013264)."},{"issue":"6","key":"9196_CR70","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1007\/s10992-009-9115-9","volume":"38","author":"R Verbrugge","year":"2009","unstructured":"Verbrugge, R. (2009). Logic and social cognition: The facts matter, and so do computational models. Journal of Philosophical Logic, 38(6), 649\u2013680.","journal-title":"Journal of Philosophical Logic"},{"key":"9196_CR71","doi-asserted-by":"crossref","unstructured":"Walther, D., Hoek, W. v. d., & Wooldridge, M. (2007). Alternating-time temporal logic with explicit strategies. In Proceedings of XIth conference (theoretical aspects of rationality and knowledge), (pp. 269\u2013278).","DOI":"10.1145\/1324249.1324285"},{"issue":"1","key":"9196_CR72","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1080\/00335557143000068","volume":"23","author":"P Wason","year":"1971","unstructured":"Wason, P., & Shapiro, D. (1971). Natural and contrived experience in a reasoning problem. The Quarterly Journal of Experimental Psychology, 23(1), 63\u201371.","journal-title":"The Quarterly Journal of Experimental Psychology"},{"issue":"1","key":"9196_CR73","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1086\/289169","volume":"51","author":"JS Weitzenfeld","year":"1984","unstructured":"Weitzenfeld, J. S. (1984). Valid reasoning by analogy. Philosophy of Science, 51(1), 137\u2013149.","journal-title":"Philosophy of Science"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9196-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-014-9196-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9196-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,17]],"date-time":"2020-08-17T15:18:28Z","timestamp":1597677508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-014-9196-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":73,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["9196"],"URL":"https:\/\/doi.org\/10.1007\/s10849-014-9196-x","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}