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