42 citations found. Retrieving documents...
Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents

Dynamic Semantics Meets Cognitive and Social Science - Ogata   (Correct)

.... 22] s Discourse Representation Theory (DRT) and Gabbay[7] s Labelled Deductive Systems (LDS) can also be considered as Dynamic Semantics, but in the sense that dynamic semantics regards meaning as state transitions, they are not dynamic semantics, but rather Procedural Semantics as well as Hintikka[20] s Game Theoretical Semantics, since they are based on semantic tableau like reduction procedures. See van Benthem and van Eijck [47] for Procedural Semantics. However, the recent development of Dynamic Semantics seems to focus on the relation between Dynamic Logics and Game Logics including ....

Jaakko Hintikka and Gabriel Sandu. Game-theoretical semantics. In Johan van Benthem and Alice ter Meulen, editors, Handbook of Logic and Language. Elsevier Science B.V., Amsterdam, 1997.


Coordination through Inductive Meaning Negotiation - Agostini (2002)   (Correct)

....than our models. Moreover, a formal comparison with language games would only be possible if we enriched our basic paradigm with an explicit system of pay o s, so as to explicitly relate agent s actions and beliefs. Other related models include semantic evaluation games (see for instance [HS97] for a survey) dialogue games for validity, and especially naming games a kind of language games rst introduced by Steels [Ste96] As in our paradigm, in naming games the meaning play an important role. A speaker (the source) chooses a meaning and a form to express that mean11 ing, and a ....

J. Hintikka and G. Sandu. Game-theoretical semantics. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, pages 361-410. Elsvier Science B.V., Amsterdam, 1997.


Logical for Social Software - Pauly (2001)   (Correct)

.... ones being the following (see [12] for a more extensive survey) Game Theoretic Semantics: For First Order Logic, truth in a model can be defined using game theoretic semantics (see, e.g. 66] A game theoretically natural extension of this semantics has led to Independence Friendly Logic [65, 109]. Likewise, game theoretic semantics have been proposed for Linear Logic [21, 2] Dialogue Games: The relation of logical consequence has been viewed as a dialogue game in [83] where the precise rules of the game determine whether one obtains intuitionistic or classical logical consequence. ....

J. Hintikka and G. Sandu. Game-theoretical semantics. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, pages 361-- 410. Elsevier, 1993.


Partiality and Games: Propositional Logic - Sandu, Pietarinen (2001)   Self-citation (Sandu)   (Correct)

No context found.

Hintikka, J. and Sandu, G.: (1997) Game-theoretical semantics, in van Benthem, J. and ter Meulen, A., (eds), Handbook of Logic and Language, Amsterdam: Elsevier, 361-410. 8. CONCLUSION 121


Partiality and Games: Propositional Logic - Sandu, Pietarinen (2001)   Self-citation (Sandu)   (Correct)

No context found.

Hintikka, J. and Sandu, G.: (1997) Game-theoretical semantics, in van Benthem, J. and ter Meulen, A., (eds), Handbook of Logic and Language, Amsterdam: Elsevier, 361--410. 8. CONCLUSION 121


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Boolean Games - Harrenstein, van der Hoek, Meyer..   (Correct)

No context found.

Hintikka, J. & Sandu, G. [1997], `Game-theoretical Semantics', in: J. ZSPLITZvan Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997


Copyright 1999. Association for the Advancement of Computing .. - Teaching Via The   (Correct)

No context found.

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--410. Elsvier Science B.V., Amsterdam.


A Game-theoretical Approach to the Meaning of Intonation in.. - Nilsenova (2002)   (Correct)

No context found.

Hintikka, J., Sandu, G., 1997. Game-theoretical semantics. In Handbook of Logic and Language, Benthem, J.; ter Meulen, A., eds., Elsevier: Dordrecht, 361-410.


Games in the Semantics of Programming Languages - An Elementary.. - Jürjens (1999)   (Correct)

No context found.

J. Hintikka,G.Sandu, Game-theoretical Semantics, in: J. van Benthem (ed.), Handbook of logic and language, Elsevier Science, 1997

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC