{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T17:16:32Z","timestamp":1763140592455,"version":"3.40.4"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,10,5]],"date-time":"2012-10-05T00:00:00Z","timestamp":1349395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1007\/s11229-012-0191-y","type":"journal-article","created":{"date-parts":[[2012,10,4]],"date-time":"2012-10-04T11:34:48Z","timestamp":1349350488000},"page":"891-908","source":"Crossref","is-referenced-by-count":4,"title":["Substantive assumptions in interaction: a logical perspective"],"prefix":"10.1007","volume":"190","author":[{"given":"Olivier","family":"Roy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Pacuit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,5]]},"reference":[{"key":"191_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., & Zvesper, J. A. (2012). From Lawvere to Brandenburger-Keisler: Interactive forms of diagonalization and self-reference. Colagebraic Methods in Computer Science, LNCS, 7399 1\u201319.","DOI":"10.1007\/978-3-642-32784-1_1"},{"key":"191_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1911154","volume":"55","author":"R. J. Aumann","year":"1987","unstructured":"Aumann R. J. (1987) Correlated equilibrium as an expression of bayesian rationality. Econometrica 55: 1\u201318","journal-title":"Econometrica"},{"key":"191_CR3","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s001820050111","volume":"28","author":"R. J. Aumann","year":"1999","unstructured":"Aumann R. J. (1999) Interactive epistemology I: Knowledge. International Journal of Game Theory 28: 263\u2013300","journal-title":"International Journal of Game Theory"},{"key":"191_CR4","unstructured":"Aumann, R. (2010). Interview on epistemic logic. In Hendricks, V., & Roy, O. (Eds.), Epistemic logic, 5 questions. New York: Automatic Press."},{"key":"191_CR5","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1257\/aer.98.1.72","volume":"98","author":"R. Aumann","year":"2008","unstructured":"Aumann R., Dreze J. (2008) Rational expectations in games. American Economic Review 98: 72\u201386","journal-title":"American Economic Review"},{"key":"191_CR6","doi-asserted-by":"crossref","first-page":"1007","DOI":"10.2307\/1911196","volume":"52","author":"D. Bernheim","year":"1984","unstructured":"Bernheim D. (1984) Rationalizable strategic behavior. Econometrica 52: 1007\u20131028","journal-title":"Econometrica"},{"key":"191_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y. (2001) Modal logic. Cambridge University Press, Cambridge"},{"key":"191_CR8","unstructured":"Blackburn, P., van Benthem, J., & Wolter, F. (Eds.). (2006). Handbook of modal logic. Amsterdam: Elsevier."},{"key":"191_CR9","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1093\/oxrep\/18.4.418","volume":"18","author":"O. Board","year":"2002","unstructured":"Board O. (2002) Knowledge, beliefs and game-theoretic solution concepts. Oxford Review of Economic Policy 18: 433\u2013445","journal-title":"Oxford Review of Economic Policy"},{"key":"191_CR10","unstructured":"Brandenburger, A. (2003). On the existence of a \u2018complete\u2019 possibility structure. In Basili, M., Dimitri, N., & Gilboa, I. (Eds.), Cognitive processes and economic behavior (pp. 30\u201334). London: Routledge."},{"key":"191_CR11","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":"191_CR12","doi-asserted-by":"crossref","unstructured":"Brandenburger, A., & Dekel, E. (1993). Hierarchies of beliefs and common knowledge. Journal of Economic Theory, 59, 189\u2013198","DOI":"10.1006\/jeth.1993.1012"},{"key":"191_CR13","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1111\/j.1468-0262.2008.00835.x","volume":"76","author":"A. Brandenburger","year":"2008","unstructured":"Brandenburger A., Friedenberg A., Keisler H. J. (2008) Admissibility in games. Econometrica 76: 307\u2013352","journal-title":"Econometrica"},{"issue":"2","key":"191_CR14","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s11225-006-9011-z","volume":"84","author":"A. Brandenburger","year":"2006","unstructured":"Brandenburger A., Keisler H. J. (2006) An impossibility theorem on beliefs in games. Studia Logica 84(2): 211\u2013240","journal-title":"Studia Logica"},{"key":"191_CR15","doi-asserted-by":"crossref","unstructured":"de Bruin, B. (2010). Explaining games: The epistemic programme in game theory. Synthese Library (Vol. 346). New York: Springer.","DOI":"10.1007\/978-1-4020-9906-9"},{"issue":"1","key":"191_CR16","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1987","unstructured":"Fagin R., Halpern J. Y. (1987) Belief, awareness, and limited reasoning. Artificial Intelligence 34(1): 39\u201376","journal-title":"Artificial Intelligence"},{"key":"191_CR17","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin R., Halpern J. (1994) Reasoning about knowledge and probability. Journal of the ACM 41: 340\u2013367","journal-title":"Journal of the ACM"},{"issue":"3","key":"191_CR18","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/s001820050114","volume":"28","author":"R. Fagin","year":"1999","unstructured":"Fagin R., Halpern J., Geanakoplos J., Vardi M. (1999) The hierarchical approach to modeling knowledge and common knowledge. International Journal of Game Theory 28(3): 331\u2013365","journal-title":"International Journal of Game Theory"},{"key":"191_CR19","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. (1995) Reasoning about knowledge. MIT Press, London"},{"issue":"1","key":"191_CR20","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1016\/j.geb.2009.05.005","volume":"68","author":"A. Friedenberg","year":"2010","unstructured":"Friedenberg A. (2010) When do type structures contain all hierarchies of beliefs?. Games and Economic Behavior 68(1): 108\u2013129","journal-title":"Games and Economic Behavior"},{"key":"191_CR21","doi-asserted-by":"crossref","unstructured":"Friedenberg, A., & Meier, M. (2010). On the relationship between hierarchy and type morphisms. Economic Theory, 1\u201323. doi: 10.1007\/s00199-010-0517-2","DOI":"10.1007\/s00199-010-0517-2"},{"key":"191_CR22","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.apal.2005.06.006","volume":"183","author":"R. Goldblatt","year":"2006","unstructured":"Goldblatt R. (2006) Final coalgebras and the hennessy-milner property. Annals of Pure and Applied Logic 183: 77\u201393","journal-title":"Annals of Pure and Applied Logic"},{"key":"191_CR23","doi-asserted-by":"crossref","unstructured":"Goldblatt, R. (2008). Deductive systems for coalgebras over measurable spaces. Journal of Logic and Computation Page. doi: 10.1093\/logcom\/exn092","DOI":"10.1093\/logcom\/exn092"},{"issue":"2","key":"191_CR24","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1006\/game.2000.0832","volume":"37","author":"J. Y. Halpern","year":"2001","unstructured":"Halpern J. Y. (2001) Alternative semantics for unawareness. Games and Economic Behavior 37(2): 321\u2013339","journal-title":"Games and Economic Behavior"},{"key":"191_CR25","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D. Harel","year":"2000","unstructured":"Harel D., Kozen D., Tiuryn J. (2000) Dynamic logic. The MIT Press, London"},{"issue":"3","key":"191_CR26","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s001820050118","volume":"28","author":"A. Heifetz","year":"1999","unstructured":"Heifetz A. (1999) How canonical is the canonical model? A comment on Aumann\u2019s interactive epistemology. International Journal of Game Theory 28(3): 435\u2013442","journal-title":"International Journal of Game Theory"},{"issue":"1","key":"191_CR27","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/j.jet.2005.02.007","volume":"130","author":"A. Heifetz","year":"2006","unstructured":"Heifetz A., Meier M., Schipper B. C. (2006) Interactive unawareness. Journal of Economic Theory 130(1): 78\u201394","journal-title":"Journal of Economic Theory"},{"key":"191_CR28","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1006\/game.1999.0788","volume":"35","author":"A. Heifetz","year":"2001","unstructured":"Heifetz A., Mongin P. (2001) Probability logic for type spaces. Games and Economic Behavior 35: 31\u201353","journal-title":"Games and Economic Behavior"},{"issue":"2","key":"191_CR29","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1006\/game.1997.0591","volume":"22","author":"A. Heifetz","year":"1998","unstructured":"Heifetz A., Samet D. (1998a) Knowledge spaces with arbitrarily high rank. Games and Economic Behavior 22(2): 260\u2013273","journal-title":"Games and Economic Behavior"},{"key":"191_CR30","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1006\/jeth.1998.2435","volume":"82","author":"A. Heifetz","year":"1998","unstructured":"Heifetz A., Samet D. (1998b) Topology-free typology of beliefs. Journal of Economic Theory 82: 324\u2013341","journal-title":"Journal of Economic Theory"},{"key":"191_CR31","volume-title":"Knowledge and belief: An introduction to the logic of two notions","author":"J. Hintikka","year":"1962","unstructured":"Hintikka J. (1962) Knowledge and belief: An introduction to the logic of two notions. ornell University Press, Ithaca, NY"},{"key":"191_CR32","doi-asserted-by":"crossref","unstructured":"Huber, F., & Schmidt-Petri, C. (2009). Degrees of belief. Synthese Library (Vol. 342). New York: Springer.","DOI":"10.1007\/978-1-4020-9198-8"},{"key":"191_CR33","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/j.jmateco.2003.11.009","volume":"41","author":"T. Mariotti","year":"2005","unstructured":"Mariotti T., Meier M., Piccione M. (2005) Hierarchies of beliefs for compact possibility models. Journal of Mathematical Economics 41: 303\u2013324","journal-title":"Journal of Mathematical Economics"},{"issue":"1","key":"191_CR34","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1016\/j.jet.2003.07.003","volume":"122","author":"M. Meier","year":"2005","unstructured":"Meier M. (2005) On the nonexistence of universal information structures. Journal of Economic Theory 122(1): 132\u2013139","journal-title":"Journal of Economic Theory"},{"issue":"1","key":"191_CR35","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1214\/009117905000000576","volume":"34","author":"M. Meier","year":"2006","unstructured":"Meier M. (2006) Finitely additive beliefs and universal type spaces. Annals of Probability 34(1): 386\u2013422","journal-title":"Annals of Probability"},{"key":"191_CR36","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.geb.2007.03.001","volume":"62","author":"M. Meier","year":"2008","unstructured":"Meier M. (2008) Universal knowledge-belief structures. Game and Economic Behavior 62: 53\u201366","journal-title":"Game and Economic Behavior"},{"issue":"1","key":"191_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01770224","volume":"14","author":"J. F. Mertens","year":"1985","unstructured":"Mertens J. F., Zamir S. (1985) Formulation of Bayesian analysis for games with incomplete information. International Journal of Game Theory 14(1): 1\u201329","journal-title":"International Journal of Game Theory"},{"issue":"1","key":"191_CR38","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF01079207","volume":"37","author":"S. Modica","year":"1994","unstructured":"Modica S., Rustichini A. (1994) Awareness and partitional information structures. Theory and Decision 37(1): 107\u2013124","journal-title":"Theory and Decision"},{"key":"191_CR39","unstructured":"Moscati, I. (2009). Interactive and common knowledge in the state-space model. Cesmep working papers. University of Turin. http:\/\/econpapers.repec.org\/RePEc:uto:cesmep:200903 ."},{"key":"191_CR40","doi-asserted-by":"crossref","unstructured":"Parikh, R. (1991). Monotonic and non-monotonic logics of knowledge. Fundamenta Informaticae, XV, 255\u2013274.","DOI":"10.3233\/FI-1991-153-405"},{"key":"191_CR41","doi-asserted-by":"crossref","first-page":"1029","DOI":"10.2307\/1911197","volume":"52","author":"D. Pearce","year":"1984","unstructured":"Pearce D. (1984) Rationalizable strategic behavior and the problem of perfection. Econometrica 52: 1029\u20131050","journal-title":"Econometrica"},{"issue":"1","key":"191_CR42","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s00199-004-0501-9","volume":"26","author":"M. Pint\u00e9r","year":"2005","unstructured":"Pint\u00e9r M. (2005) Type space on a purely measurable parameter space. Economic Theory 26(1): 129\u2013139","journal-title":"Economic Theory"},{"issue":"2","key":"191_CR43","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/j.jmateco.2009.11.006","volume":"46","author":"M. Pint\u00e9r","year":"2010","unstructured":"Pint\u00e9r M. (2010) The non-existence of a universal topological type space. Journal of Mathematical Economics 46(2): 223\u2013229","journal-title":"Journal of Mathematical Economics"},{"issue":"2","key":"191_CR44","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1257\/0022051041409057","volume":"42","author":"L. Samuelson","year":"2004","unstructured":"Samuelson L. (2004) Modeling knowledge in economic analysis. Journal of Economic Literature 42(2): 367\u2013403","journal-title":"Journal of Economic Literature"},{"issue":"4","key":"191_CR45","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF01048686","volume":"23","author":"K. Segerberg","year":"1994","unstructured":"Segerberg K. (1994) A model existence theorem in infinitary propositional modal logic. Journal of Philosophical Logic 23(4): 337\u2013367","journal-title":"Journal of Philosophical Logic"},{"key":"191_CR46","unstructured":"Siniscalchi, M. (2008). Epistemic game theory: Beliefs and types. In Durlauf, S., & Blume, L. (Eds.), The new palgrave dictionary of economics. Basingstoke: Palgrave Macmillan."},{"key":"191_CR47","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1006\/reec.1999.0200","volume":"53","author":"R. Stalnaker","year":"1999","unstructured":"Stalnaker R. (1999) Extensive and strategic forms: Games and models for games. Research in Economics 53: 293\u2013319","journal-title":"Research in Economics"},{"key":"191_CR48","volume-title":"Modal logic for open minds","author":"J. van Benthem","year":"2010","unstructured":"van Benthem J. (2010) Modal logic for open minds. CSLI Publications, Stanford"},{"issue":"1","key":"191_CR49","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10992-008-9085-3","volume":"38","author":"J. van Benthem","year":"2009","unstructured":"van Benthem J., Girard P., Roy O. (2009) Everything else being equal: A modal logic for ceteris paribus preferences. Journal of philosophical logic 38(1): 83\u2013125","journal-title":"Journal of philosophical logic"},{"key":"191_CR50","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Pacuit, E., & Roy, O. (2011). Toward a theory of play: A logical perspective on games and interaction. Games 2(1), 52\u201386. doi: 10.3390\/g2010052 .","DOI":"10.3390\/g2010052"},{"key":"191_CR51","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van de Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Synthese Library (Vol. 337). New York: Springer.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"191_CR52","unstructured":"Venema, Y. (2006). Algebra and coalgebra. In Blackburn, P., van Benthem, J., & Wolter, F. (Eds.), Handbook of modal logic (pp. 331\u2013426). Amsterdam: Elsevier"},{"issue":"6","key":"191_CR53","doi-asserted-by":"crossref","first-page":"1427","DOI":"10.1093\/logcom\/exp031","volume":"19","author":"C. Zhou","year":"2009","unstructured":"Zhou C. (2009) A complete deductive system for probability logic. Journal of Logic and Computation 19(6): 1427\u20131454","journal-title":"Journal of Logic and Computation"},{"key":"191_CR54","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/978-3-642-15164-4_10","volume":"8","author":"J. Zvesper","year":"2010","unstructured":"Zvesper J., Pacuit E. (2010) A note on assumption-completeness in modal logic. Logic and the Foundations of Game and Decision Theory\u2013LOFT 8: 190\u2013206","journal-title":"Logic and the Foundations of Game and Decision Theory\u2013LOFT"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-012-0191-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-012-0191-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-012-0191-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T23:14:30Z","timestamp":1744240470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-012-0191-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,5]]},"references-count":54,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["191"],"URL":"https:\/\/doi.org\/10.1007\/s11229-012-0191-y","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2012,10,5]]}}}