{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T18:09:38Z","timestamp":1767982178013,"version":"3.49.0"},"publisher-location":"Dordrecht","reference-count":48,"publisher":"Springer Netherlands","isbn-type":[{"value":"9781402093739","type":"print"},{"value":"9781402093746","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-9374-6_8","type":"book-chapter","created":{"date-parts":[[2009,1,15]],"date-time":"2009-01-15T11:20:07Z","timestamp":1232018407000},"page":"153-208","source":"Crossref","is-referenced-by-count":19,"title":["From Games to Dialogues and Back"],"prefix":"10.1007","author":[{"given":"Shahid","family":"Rahman","sequence":"first","affiliation":[]},{"given":"Tero","family":"Tulenheimo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1_8","volume-title":"Modal Logic","author":"P. Blackburn","year":"2002","unstructured":"Blackburn, P., de Rijke, M., and Venema, Y. (2002). Modal Logic. Cambridge University Press, Cambridge."},{"key":"8_CR2_8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0168-0072(92)90073-9","volume":"56","author":"A. Blass","year":"1992","unstructured":"Blass, A. (1992). A game semantics for linear logic. Annals of Pure and Applied Logic, 56: 183\u2013220.","journal-title":"Annals of Pure and Applied Logic"},{"key":"8_CR3_8","volume-title":"An Approach to Discourse Analysis","author":"L. Carlson","year":"1983","unstructured":"Carlson, L. (1983). Dialogue Games. An Approach to Discourse Analysis. Reidel, Dordrecht."},{"key":"8_CR4_8","doi-asserted-by":"crossref","unstructured":"Dascal, M., Hintikka, J., and Lorenz, K. (1995). Jeux dans le langage\/Games in Language\/Spiel in der Sprache. In Dascal, M., Gerhardus, D., Lorenz, K., and Meggle, G., editors, Sprach-philosophie\/Philosophy of Language\/La Philosophie du langage, pages 1371\u20131390. De Gruyter, Berlin.","DOI":"10.1515\/9783110139914.2.5.1371"},{"key":"8_CR5_8","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0168-0072(85)90016-8","volume":"28","author":"W. Felscher","year":"1985","unstructured":"Felscher, W. (1985). Dialogues, strategies and intuitionistic provability. Annals of Pure and Applied Logic, 28:217\u2013254.","journal-title":"Annals of Pure and Applied Logic"},{"key":"8_CR6_8","first-page":"136","volume-title":"Theorie des wissenschaftlichen Argu-mentierens","author":"G. Haas","year":"1980","unstructured":"Haas, G. (1980). Hypothesendialoge, konstruktiver Sequenzenkalk\u00f6l und die Rechtfertigung von Dialograhmenregeln. In Gethmann, C. F., editor, Theorie des wissenschaftlichen Argu-mentierens, pages 136\u2013161. Suhrkamp, Frankfurt."},{"issue":"2","key":"8_CR7_8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"Henkin, L. (1950). Completeness in the theory of types. Journal of Symbolic Logic, 15(2): 81\u201391.","journal-title":"Journal of Symbolic Logic"},{"key":"8_CR8_8","first-page":"167","volume-title":"Infinitistic Methods","author":"L. Henkin","year":"1961","unstructured":"Henkin, L. (1961). Some remarks on infinitely long formulas. In Infinitistic Methods, pages 167\u2013183. Pergamon, Oxford."},{"key":"8_CR9_8","volume-title":"Language-games for quantifiers. Americal Philosophical Quarterly Monograph Series 2: Studies in Logical Theory","author":"J. Hintikka","year":"1968","unstructured":"Hintikka, J. (1968). Language-games for quantifiers. Americal Philosophical Quarterly Monograph Series 2: Studies in Logical Theory. Basil Blackwell, Oxford."},{"key":"8_CR10_8","volume-title":"Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic","author":"J. Hintikka","year":"1973","unstructured":"Hintikka, J. (1973). Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Clarendon, Oxford."},{"key":"8_CR11_8","volume-title":"New Directions in Semantics","author":"J. Hintikka","year":"1987","unstructured":"Hintikka, J. (1987). Game-theoretical semantics as a synthesis of verificationist and truth-conditional meaning theories. In LePore, E., editor, New Directions in Semantics. Academic, London."},{"key":"8_CR12_8","first-page":"24","volume-title":"Wittgenstein's Philosophy of Mathematics","author":"J. Hintikka","year":"1993","unstructured":"Hintikka, J. (1993). The original Sinn of Wittgenstein's philosophy of mathematics. In Puhl, K., editor, Wittgenstein's Philosophy of Mathematics, pages 24\u201351. H\u00f6lder\u2014Pichler\u2014Tempsky, Vienna."},{"key":"8_CR13_8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624919","volume-title":"The Principles of Mathematics Revisited","author":"J. Hintikka","year":"1996","unstructured":"Hintikka, J. (1996). The Principles of Mathematics Revisited. Cambridge University Press, Cambridge."},{"issue":"3","key":"8_CR14_8","doi-asserted-by":"publisher","first-page":"404","DOI":"10.2178\/bsl\/1182353895","volume":"8","author":"J. Hintikka","year":"2002","unstructured":"Hintikka, J. (2002). Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory. Bulletin of Symbolic Logic, 8(3):404\u2013423.","journal-title":"Bulletin of Symbolic Logic"},{"key":"8_CR15_8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0003-4843(76)90026-7","volume":"10","author":"J. Hintikka","year":"1976","unstructured":"Hintikka, J. and Rantala, V. (1976). A new approach to infinitary languages. Annals of Mathematical Logic, 10:95\u2013115.","journal-title":"Annals of Mathematical Logic"},{"key":"8_CR16_8","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/B978-044481714-3\/50009-6","volume-title":"Handbook of Logic and Language","author":"J. Hintikka","year":"1997","unstructured":"Hintikka, J. and Sandu, G. (1997). Game-theoretical semantics. In van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, pages 361\u2013410. Elsevier, Amsterdam."},{"key":"8_CR17_8","volume-title":"Investigating Wittgenstein","author":"M. B. Hintikka","year":"1986","unstructured":"Hintikka, M. B. and Hintikka, J. (1986). Investigating Wittgenstein. Basil Blackwell, Oxford."},{"key":"8_CR18_8","volume-title":"Encyclopedia of Mathematics and Its Applications","author":"W. Hodges","year":"1997","unstructured":"Hodges, W. (1997). Model theory. In Rota, G.-C., editor, Encyclopedia of Mathematics and Its Applications, volume 42. Cambridge University Press, Cambridge. First published 1993."},{"key":"8_CR19_8","unstructured":"Hodges, W. (2006). Logic and games. In Zalta, E. N., editor, The Stanford Encyclopedia of Philosophy (Summer 2006 Edition). http:\/\/plato.stanford.edu\/archives\/sum2006\/ entries\/logic-games\/."},{"key":"8_CR20_8","doi-asserted-by":"crossref","first-page":"125","DOI":"10.4064\/fm-134-2-125-142","volume":"134","author":"T. Hyttinen","year":"1990","unstructured":"Hyttinen, T. (1990). Model theory for infinite quantifier logics. Fundamenta Mathematic\u00e6, 134:125\u2013142.","journal-title":"Fundamenta Mathematic\u00e6"},{"key":"8_CR21_8","volume-title":"Logische Prop\u00e4deutik","author":"W. Kamlah","year":"1973","unstructured":"Kamlah, W. and Lorenzen, P. (1973). Logische Prop\u00e4deutik. Bibilographisches Institut, Mannheim."},{"key":"8_CR22_8","unstructured":"Karttunen, M. (1984). Model theory for infinitely deep languages. Annales Academi\u00e6 Scien-tiarum Fennic\u00e6, 50."},{"issue":"3","key":"8_CR23_8","doi-asserted-by":"publisher","first-page":"428","DOI":"10.2178\/bsl\/1122038996","volume":"11","author":"R. Kontchakov","year":"2005","unstructured":"Kontchakov, R., Kurucz, A., and Zakharyaschev, M. (2005). Undecidability of first-order intu-itionistic and modal logics with two variables. Bulletin of Symbolic Logic, 11(3):428\u2013438.","journal-title":"Bulletin of Symbolic Logic"},{"key":"8_CR24_8","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-94-017-0522-6_7","volume-title":"Quantifiers: Logics, Models and Computation","author":"M. Krynicki","year":"1995","unstructured":"Krynicki, M. and Mostowski, M. (1995). Henkin quantifiers. In Krynicki, M., Mostowski, M., and Sczerba, L. W., editors, Quantifiers: Logics, Models and Computation, volume 1, pages 193\u2013262. Kluwer, Dordrecht."},{"key":"8_CR25_8","unstructured":"Lorenz, K. (1961). Arithmetik und Logik als Spiele. Ph.D. thesis, Christian-Albrechts-Universit\u00e4t Zu Kiel."},{"key":"8_CR26_8","volume-title":"Elemente der Sprachkritik","author":"K. Lorenz","year":"1970","unstructured":"Lorenz, K. (1970). Elemente der Sprachkritik. Suhrkamp, Frankfurt."},{"key":"8_CR27_8","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/A:1010367416884","volume":"127","author":"K. Lorenz","year":"2001","unstructured":"Lorenz, K. (2001). Basic objectives of dialogue logic in historical perspective. Synthese, 127:255\u2013263.","journal-title":"Synthese"},{"key":"8_CR28_8","volume-title":"Dialogische Logik","author":"P. Lorenzen","year":"1978","unstructured":"Lorenzen, P. and Lorenz, K. (1978). Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt."},{"key":"8_CR29_8","volume-title":"Konstruktive Logik, Ethik und Wissenschaftstheorie","author":"P. Lorenzen","year":"1975","unstructured":"Lorenzen, P. and Schwemmer, O. (1975). Konstruktive Logik, Ethik und Wissenschaftstheorie. Bibilographisches Institut, Mannheim."},{"key":"8_CR30_8","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/S0049-237X(08)71103-0","volume-title":"Handbook of Mathematical Logic","author":"M. Makkai","year":"1977","unstructured":"Makkai, M. (1977). Admissible sets and infinitary logic. In Barwise, J., editor, Handbook of Mathematical Logic, pages 233\u2013281. North-Holland, Amsterdam."},{"key":"8_CR31_8","volume-title":"A Course in Game Theory","author":"M. J. Osborne","year":"1994","unstructured":"Osborne, M. J. and Rubinstein, A. (1994). A Course in Game Theory. MIT, Cambridge, MA."},{"key":"8_CR32_8","volume-title":"\u00dcber Dialoge, Protologische Kategorien und andere Seltenheiten","author":"S. Rahman","year":"1994","unstructured":"Rahman, S. (1994). \u00dcber Dialoge, Protologische Kategorien und andere Seltenheiten. Peter Lang, Frankfurt."},{"key":"8_CR33_8","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/1-4020-3167-X_17","volume-title":"Logic, Thought and Action","author":"S. Rahman","year":"2005","unstructured":"Rahman, S. and Keiff, L. (2005). On how to be a dialogician. In Vanderveken, D., editor, Logic, Thought and Action, volume 2: Logic, Epistemology and Unity of Science, pages 359\u2013408. Springer, Dordrecht."},{"key":"8_CR34_8","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF00869607","volume":"76","author":"A. Ranta","year":"1988","unstructured":"Ranta, A. (1988). Propositions as games as types. Synthese, 76:377\u2013395.","journal-title":"Synthese"},{"key":"8_CR35_8","first-page":"41","volume-title":"Proceedings of the Biennial Meeting of the Philosophy of Science Association (PSA)","author":"E. Saarinen","year":"1978","unstructured":"Saarinen, E. (1978). Dialogue semantics versus game-theoretical semantics. In Proceedings of the Biennial Meeting of the Philosophy of Science Association (PSA), volume 2: Symposia and Invited Papers, pages 41\u201359. The University of Chicago Press, Chicago, IL."},{"issue":"1","key":"8_CR36_8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1093\/jigpal\/9.1.101","volume":"9","author":"G. Sandu","year":"2001","unstructured":"Sandu, G. and Pietarinen, A.-V. (2001). Partiality and games: Propositional logic. Logic Journal of the IGPL, 9(1):107\u2013127.","journal-title":"Logic Journal of the IGPL"},{"key":"8_CR37_8","first-page":"23","volume-title":"Games, Logic, and Constructive Sets","author":"G. Sandu","year":"2003","unstructured":"Sandu, G. and Pietarinen, A.-V. (2003). Informationally independent connectives. In Mints, G. and Muskens, R., editors, Games, Logic, and Constructive Sets, pages 23\u201341. CSLI, Stanford."},{"key":"8_CR38_8","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1006\/game.2000.0794","volume":"34","author":"U. Schwalbe","year":"2001","unstructured":"Schwalbe, U. and Walker, P. (2001). Zermelo and the early history of game theory. Games and Economic Behaviour, 34:123\u2013137.","journal-title":"Games and Economic Behaviour"},{"key":"8_CR39_8","unstructured":"Skolem, Th. (1920). Logisch-kombinatorische Untersuchungen \u00fcber die Erf\u00fcllbarkeit oder Be-weisbarkeit mathematischer S\u00e4tze nebst einem Theoreme \u00fcber dichte Mengen. Skrifter utgit av Videnskabsselskapet i Kristiania, I. Matematisk-naturvidenskabelig klasse no. 4."},{"key":"8_CR40_8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1305\/ndjfl\/1093957800","volume":"5","author":"W. Stegm\u00fcller","year":"1964","unstructured":"Stegm\u00fcller, W. (1964). Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz. Notre Dame Journal of Formal Logic, 5:81\u2013112.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"8_CR41_8","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-94-017-0464-9_3","volume-title":"Handbook of Philosophical Logic","author":"G. Sundholm","year":"2002","unstructured":"Sundholm, G. (2002). Proof theory and meaning. In Gabbay, D. M. and Guenthner, F., editors, Handbook of Philosophical Logic, volume 9, pages 165\u2013198. Kluwer, Dordrecht, second edition."},{"key":"8_CR42_8","unstructured":"Tarski, A. (1983). The concept of truth in the languages of the deductive sciences. In Corcoran, J., editor, A. Tarski: Logic, Semantics, Metamathematics. Papers from 1923 to 1938, pages 152\u2013278. Hackett, Indianapolis, IN. Polish; original in Prace Towarzystwa Naukowego Warszawskiego, Wydzial III Nauk Matematyczno\u2014Fizycznych 34, Warsawm, 1933."},{"key":"8_CR43_8","first-page":"81","volume":"13","author":"A. Tarski","year":"1956","unstructured":"Tarski, A. and Vaught, R. L. (1956). Arithmetical extensions of relational systems. Compositio Mathematica, 13:81\u2013102.","journal-title":"Compositio Mathematica"},{"issue":"4","key":"8_CR44_8","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"J. Benthem van","year":"2001a","unstructured":"van Benthem, J. (2001a). Games in dynamic epistemic logic. Bulletin of Economic Research, 53(4):219\u2013248. Proceedings LOFT-4, Torino, Bonanno, G. and van der Hoek, W., editors.","journal-title":"Bulletin of Economic Research"},{"key":"8_CR45_8","volume-title":"Logic and Games. Lecture Notes (Draft Version)","author":"J. Benthem van","year":"2001b","unstructured":"van Benthem, J. (2001b). Logic and Games. Lecture Notes (Draft Version), ILLC, Amsterdam."},{"key":"8_CR46_8","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1023\/A:1015534111901","volume":"11","author":"J. Benthem van","year":"2002","unstructured":"van Benthem, J. (2002). Extensive games as process models. Journal of Logic, Language and Information, 11:289\u2013313.","journal-title":"Journal of Logic, Language and Information"},{"key":"8_CR47_8","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1007\/BFb0066791","volume-title":"Cambridge Summer School in Mathematical Logic Lecture Notes in Mathematics","author":"R. L. Vaught","year":"1973","unstructured":"Vaught, R. L. (1973). Descriptive set theory in l\u03b51\u03b5. In Mathias, A. and Rogers, H., editors, Cambridge Summer School in Mathematical Logic, volume 337 of Lecture Notes in Mathematics, pages 574\u2013598. Springer, Berlin."},{"key":"8_CR48_8","volume-title":"Theory of Games and Economic behavior","author":"J. Neumann von","year":"2004","unstructured":"von Neumann, J. and Morgenstern, O. (2004). Theory of Games and Economic Behavior. Princeton University Press, Princeton, NJ, sixtieth-anniversary edition. (First appeared in 1944.)"}],"container-title":["Games: Unifying Logic, Language, and Philosophy"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-9374-6_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:45:38Z","timestamp":1619675138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-9374-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402093739","9781402093746"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-9374-6_8","relation":{},"subject":[]}}