Equilibrium semantics of languages of imperfect information - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques Accéder directement au contenu
Article Dans Une Revue Annals of Pure and Applied Logic Année : 2010

Equilibrium semantics of languages of imperfect information

Résumé

In this paper, we introduce a new approach to independent quantifiers, as originally introduced in Informational independence as a semantic phenomenon by Hintikka and Sandu (1989) [9] under the header of independence-friendly (IF) languages. Unlike other approaches, which rely heavily on compositional methods, we shall analyze independent quantifiers via equilibriums in strategic games. In this approach, coined equilibrium semantics, the value of an IF sentence on a particular structure is determined by the expected utility of the existential player in any of the game's equilibriums. This approach was suggested in Henkin quantifiers and complete problems by Blass and Gurevich (1986) [2] but has not been taken up before. We prove that each rational number can be realized by an IF sentence. We also give a lower and upper bound on the expressive power of IF logic under equilibrium semantics.

Dates et versions

halshs-00792022 , version 1 (21-02-2013)

Identifiants

Citer

Gabriel Sandu, Merlijn Sevenster. Equilibrium semantics of languages of imperfect information. Annals of Pure and Applied Logic, 2010, 161 (5), pp.618-631. ⟨10.1016/j.apal.2009.07.019⟩. ⟨halshs-00792022⟩
93 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More