{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:17:41Z","timestamp":1742966261780,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642192104"},{"type":"electronic","value":"9783642192111"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19211-1_6","type":"book-chapter","created":{"date-parts":[[2011,2,16]],"date-time":"2011-02-16T12:54:22Z","timestamp":1297860862000},"page":"88-113","source":"Crossref","is-referenced-by-count":2,"title":["On Some Logic Games in Their Philosophical Context"],"prefix":"10.1007","author":[{"given":"Tero","family":"Tulenheimo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1006\/inco.2000.2930","volume":"163","author":"S. Abramsky","year":"2000","unstructured":"Abramsky, S., Jagadeesan, R., Malacaria, P.: Games and Full Abstraction for PCF. Information and Computation\u00a0163(2), 409\u2013470 (2000)","journal-title":"Information and Computation"},{"key":"6_CR2","series-title":"Library of Living Philosophers","volume-title":"The Philosophy of Jaakko Hintikka","year":"2006","unstructured":"Auxier, R.E., Hahn, L.E. (eds.): The Philosophy of Jaakko Hintikka. Library of Living Philosophers, vol.\u00a030. Open Court, Chicago (2006)"},{"key":"6_CR3","volume-title":"Logical Pluralism","author":"J.C. Beall","year":"2006","unstructured":"Beall, J.C., Restall, G.: Logical Pluralism. Oxford University Press, Oxford (2006)"},{"key":"6_CR4","unstructured":"van Benthem, J.: Logic, Rational Agency, and Intelligent Interaction. ILLC Prepublication Series, PP-2008-6 (2008)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Clark, R.: Games, Quantification and Discourse Structure. In: [36], pp. 139\u2013150 (2009)","DOI":"10.1007\/978-1-4020-9374-6_7"},{"key":"6_CR6","volume-title":"The Logical Basis of Metaphysics","author":"M. Dummett","year":"1991","unstructured":"Dummett, M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1991)"},{"key":"6_CR7","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199207275.001.0001","volume-title":"Thought and Reality","author":"M. Dummett","year":"2006","unstructured":"Dummett, M.: Thought and Reality. Clarendon Press, Oxford (2006)"},{"key":"6_CR8","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.: Dialogues, Strategies, and Intuitionistic Provability. Annals of Pure and Applied Logic\u00a028, 217\u2013254 (1985)","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S096012950100336X","volume":"11","author":"J.-Y. Girard","year":"2001","unstructured":"Girard, J.-Y.: Locus Solum. Mathematical Structures in Computer Science\u00a011, 301\u2013506 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BF00485036","volume":"17","author":"J. Heijenoort van","year":"1967","unstructured":"van Heijenoort, J.: Logic as Calculus and Logic as Language. Synthese\u00a017, 324\u2013330 (1967)","journal-title":"Synthese"},{"key":"6_CR11","first-page":"46","volume-title":"Studies in Logical Theory","author":"J. Hintikka","year":"1968","unstructured":"Hintikka, J.: Language-Games for Quantifiers. In: Rescher, N. (ed.) Studies in Logical Theory, pp. 46\u201372. Basil Blackwell, Oxford (1968)"},{"key":"6_CR12","volume-title":"Logic, Language-Games, and Information: Kantian Themes in the Philosophy of Logic","author":"J. Hintikka","year":"1973","unstructured":"Hintikka, J.: Logic, Language-Games, and Information: Kantian Themes in the Philosophy of Logic. Clarendon Press, Oxford (1973)"},{"key":"6_CR13","first-page":"235","volume-title":"New Directions in Semantics","author":"J. Hintikka","year":"1987","unstructured":"Hintikka, J.: Game-Theoretical Semantics as a Synthesis of Verificationist and Truth-Conditional Meaning Theories. In: LePore, E. (ed.) New Directions in Semantics, pp. 235\u2013258. Academic Press, London (1987)"},{"key":"6_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624919","volume-title":"The Principles of Mathematics Revisited","author":"J. Hintikka","year":"1996","unstructured":"Hintikka, J.: The Principles of Mathematics Revisited. Cambridge University Press, Cambridge (1996)"},{"key":"6_CR15","series-title":"Jaakko Hintikka: Selected Papers","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8601-6","volume-title":"Lingua Universalis vs.\u00a0Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy","author":"J. Hintikka","year":"1997","unstructured":"Hintikka, J.: Lingua Universalis vs.\u00a0Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy. Jaakko Hintikka: Selected Papers, vol.\u00a02. Kluwer, Dordrecht (1997)"},{"key":"6_CR16","unstructured":"Hintikka, J.: Intellectual Autobiography. In: [2], pp. 3\u201384 (2006)"},{"key":"6_CR17","unstructured":"Hintikka, J.: Reply to Wilfrid Hodges. In: [2], pp. 535\u2013540 (2006)"},{"key":"6_CR18","volume-title":"Investigating Wittgenstein","author":"J. Hintikka","year":"1986","unstructured":"Hintikka, J., Hintikka, M.B.: Investigating Wittgenstein. Basil Blackwell, Oxford (1986)"},{"key":"6_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-9847-2","volume-title":"The Game of Language: Studies in Game-Theoretical Semantics and Its Applications","author":"J. Hintikka","year":"1983","unstructured":"Hintikka, J., Kulas, J.: The Game of Language: Studies in Game-Theoretical Semantics and Its Applications. Reidel, Dordrecht (1983)"},{"key":"6_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5410-6","volume-title":"Anaphora and Definite Descriptions: Two Applications of Game-Theoretical Semantics","author":"J. Hintikka","year":"1985","unstructured":"Hintikka, J., Kulas, J.: Anaphora and Definite Descriptions: Two Applications of Game-Theoretical Semantics. Reidel, Dordrecht (1985)"},{"key":"6_CR21","volume-title":"On the Methodology of Linguistics: A Case Study","author":"J. Hintikka","year":"1991","unstructured":"Hintikka, J., Sandu, G.: On the Methodology of Linguistics: A Case Study. Basic Blackwell, Oxford (1991)"},{"key":"6_CR22","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., Sandu, G.: Game-Theoretical Semantics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 361\u2013410. Elsevier, Amsterdam (1997)"},{"key":"6_CR23","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"W. Hodges","year":"1983","unstructured":"Hodges, W.: Elementary Predicate Logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a01, pp. 1\u2013131. Reidel, Dordrecht (1983)"},{"key":"6_CR24","unstructured":"Hodges, W.: Logic and Games. In: Zalta, E. (ed.) The Stanford Encyclopedia of Philosophy (2006) (Summer 2006 Edition), \n                  \n                    http:\/\/plato.stanford.edu\/archives\/sum2006\/entries\/logic-games\/"},{"issue":"1","key":"6_CR25","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/inco.2000.2917","volume":"163","author":"J.M.E. Hyland","year":"2000","unstructured":"Hyland, J.M.E., Ong, L.: On Full Abstraction for PCF I, II, and III. Information and Computation\u00a0163(1), 285\u2013408 (2000)","journal-title":"Information and Computation"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0168-0072(03)00023-X","volume":"123","author":"G. Japaridze","year":"2003","unstructured":"Japaridze, G.: Introduction to Computability Logic. Annals of Pure and Applied Logic\u00a0123, 1\u201399 (2003)","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR27","volume-title":"Logische Prop\u00e4deutik oder Vorschule des vern\u00fcnftigen Redens","author":"W. Kamlah","year":"1967","unstructured":"Kamlah, W., Lorenzen, P.: Logische Prop\u00e4deutik oder Vorschule des vern\u00fcnftigen Redens. Bibliographisches Institut, Mannheim (1967)"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/BF01973341","volume":"11","author":"K. Lorenz","year":"1967","unstructured":"Lorenz, K.: Dialogspiele als semantische Grundlage von Logikkalk\u00fclen. Archiv f\u00fcr mathematische Logik und Grundlagenforschung\u00a011, 32\u201355, 73\u2013100 (1967)","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"key":"6_CR29","first-page":"187","volume-title":"Congresso Internazionale di Filosofia (Venezia, 1958)","author":"P. Lorenzen","year":"1960","unstructured":"Lorenzen, P.: Logik und Agon. In: Atti del, X.I.I. (ed.) Congresso Internazionale di Filosofia (Venezia, 1958), pp. 187\u2013194. Sansoni, Firenze (1960)"},{"key":"6_CR30","first-page":"193","volume-title":"Infinitistic Methods","author":"P. Lorenzen","year":"1961","unstructured":"Lorenzen, P.: Ein dialogisches Konstruktivit\u00e4tskriterium. In: Infinitistic Methods, pp. 193\u2013200. Pergamon Press, New York (1961)"},{"key":"6_CR31","volume-title":"Metamathematik","author":"P. Lorenzen","year":"1962","unstructured":"Lorenzen, P.: Metamathematik. Bibliographisches Institut, Mannheim (1962)"},{"key":"6_CR32","volume-title":"Methodisches Denken","author":"P. Lorenzen","year":"1968","unstructured":"Lorenzen, P.: Methodisches Denken. Suhrkamp, Frankfurt am Main (1968)"},{"key":"6_CR33","volume-title":"Normative Logic and Ethics","author":"P. Lorenzen","year":"1969","unstructured":"Lorenzen, P.: Normative Logic and Ethics. Bibliographisches Institut, Mannheim (1969)"},{"key":"6_CR34","first-page":"43","volume-title":"Theorie des wissenschaftlichen Argumentierens","author":"P. Lorenzen","year":"1980","unstructured":"Lorenzen, P.: Die dialogische Begr\u00fcndung von Logikkalk\u00fclen. In: Gethmann, C.F. (ed.) Theorie des wissenschaftlichen Argumentierens, pp. 43\u201369. Suhrkamp, Frankfurt am Main (1980)"},{"key":"6_CR35","volume-title":"Dialogische Logik","author":"P. Lorenzen","year":"1978","unstructured":"Lorenzen, P., Lorenz, K.: Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt (1978)"},{"volume-title":"Games: Unifying Logic, Language, and Philosophy","year":"2009","key":"6_CR36","unstructured":"Majer, O., Pietarinen, A.-V., Tulenheimo, T. (eds.): Games: Unifying Logic, Language, and Philosophy. Springer, Heidelberg (2009)"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Marion, M.: Why Play Logical Games? In: [36], pp. 3\u201326 (2009)","DOI":"10.1007\/978-1-4020-9374-6_1"},{"key":"6_CR38","first-page":"35","volume-title":"Contemporary Philosophy","author":"C. Peacock","year":"1981","unstructured":"Peacock, C.: The Theory of Meaning in Analytical Philosophy. In: Fl\u00f8istad, G. (ed.) Contemporary Philosophy, pp. 35\u201356. Nijhoff, The Hague (1981)"},{"key":"6_CR39","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1515\/thli.2001.27.1.20","volume":"27","author":"A.-V. Pietarinen","year":"2001","unstructured":"Pietarinen, A.-V.: Most Even Budged Yet: Some Cases for Game-Theoretic Semantics in Natural Language. Theoretical Linguistics\u00a027, 20\u201354 (2001)","journal-title":"Theoretical Linguistics"},{"key":"6_CR40","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1111\/j.1755-2567.1977.tb00776.x","volume":"43","author":"D. Prawitz","year":"1977","unstructured":"Prawitz, D.: Meaning and Proofs: On the Conflict Between Classical and Intuitionistic Logic. Theoria\u00a043, 2\u201340 (1977)","journal-title":"Theoria"},{"key":"6_CR41","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1005294523930","volume":"125","author":"S. Rahman","year":"2000","unstructured":"Rahman, S., Carnielli, W.: The Dialogical Approach to Paraconsistency. Synthese\u00a0125, 201\u2013232 (2000)","journal-title":"Synthese"},{"key":"6_CR42","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., Keiff, L.: On How to Be a Dialogician. In: Vanderveken, D. (ed.) Logic, Thought and Action, pp. 359\u2013408. Springer, New York (2005)"},{"key":"6_CR43","unstructured":"Rahman, S., R\u00fcckert, H.: Dialogische Logik und Relevanz. Universit\u00e4t des Saarlandes, memo no. 27 (December 1998)"},{"key":"6_CR44","unstructured":"Rahman, S., R\u00fcckert, H.: Eine neue dialogische Semantik f\u00fcr lineare Logik. In: [49], pp. 141\u2013172 (2007)"},{"key":"6_CR45","first-page":"357","volume":"160","author":"S. Rahman","year":"1997","unstructured":"Rahman, S., R\u00fcckert, H., Fischmann, M.: On Dialogues and Ontology. The Dialogical Approach to Free Logic. Logique et Analyse\u00a0160, 357\u2013374 (1997)","journal-title":"Logique et Analyse"},{"key":"6_CR46","doi-asserted-by":"crossref","unstructured":"Rahman, S., Tulenheimo, T.: From Games to Dialogues and Back: Towards a General Frame for Validity. In: [36], pp. 153\u2013208 (2009)","DOI":"10.1007\/978-1-4020-9374-6_8"},{"key":"6_CR47","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF00869607","volume":"76","author":"A. Ranta","year":"1988","unstructured":"Ranta, A.: Propositions as Games as Types. Synthese\u00a076, 377\u2013395 (1988)","journal-title":"Synthese"},{"key":"6_CR48","first-page":"15","volume-title":"Essays on Non-Classical Logic","author":"H. R\u00fcckert","year":"2001","unstructured":"R\u00fcckert, H.: Why Dialogical Logic? In: Wansing, H. (ed.) Essays on Non-Classical Logic, pp. 15\u201330. World Scientific, London (2001); reprinted in [49], pp. 15\u201330"},{"key":"6_CR49","unstructured":"R\u00fcckert, H.: Dialogues as a Dynamic Framework for Logic. Ph.D. thesis. Department of Philosophy, Universiteit Leiden (2007)"},{"key":"6_CR50","doi-asserted-by":"crossref","unstructured":"Saarinen, E.: Dialogue Semantics versus Game-Theoretical Semantics. In: Proceedings of the Biennial Meeting of the Philosophy of Science Association, pp. 41\u201359 (1978)","DOI":"10.1086\/psaprocbienmeetp.1978.2.192461"},{"key":"6_CR51","doi-asserted-by":"publisher","first-page":"294","DOI":"10.5840\/monist199477315","volume":"77","author":"G. Sundholm","year":"1994","unstructured":"Sundholm, G.: Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions. The Monist\u00a077, 294\u2013314 (1994)","journal-title":"The Monist"},{"key":"6_CR52","series-title":"Festschrift for Gerhard Heinzmann","first-page":"417","volume-title":"Construction","author":"T. Tulenheimo","year":"2010","unstructured":"Tulenheimo, T.: Comparative Remarks on Dialogical Logic and Game-Theoretical Semantics. In: Bour, P.E., Rebuschi, M., Rollet, L. (eds.) Construction. Festschrift for Gerhard Heinzmann, pp. 417\u2013430. College Publications, London (2010)"}],"container-title":["Lecture Notes in Computer Science","Ludics, Dialogue and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19211-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T04:13:02Z","timestamp":1558411982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19211-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642192104","9783642192111"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19211-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}