Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications
نویسنده
چکیده
In recent work, semantic games of independence-friendly logic were studied in strategic form in terms of (mixed strategy) Nash equilibria. The class of strategic games of independence-friendly logic is contained in the class of win-loss, zero-sum two-player games. In this note we draw on the theory of linear programming to develop tools to analyze the value of such games. We give two applications of these tools to independencefriendly logic under the so-called equilibrium semantics.
منابع مشابه
A Strategic Perspective on if Games
Hintikka and Sandu’s Independence-friendly logic ([5] and [6]) has traditionally been associated with extensive games of imperfect information. In this paper we set up a strategic framework for the evaluation of IF logic la Hintikka and Sandu. We show that the traditional semantic interpretation of IF logic can be characterized in terms of Nash equilibria. We note that moving to the strategic f...
متن کاملIndependence and Hintikka games
This paper investigates the formalization of independence in logic, in particular between quantifiers. We first illustrate that this form of independence plays a role in many fields. A logic that has the possibility to express such a form of independence is Independence Friendly logic (introduced by Hintikka); its semantics is defined by means of strategies in a sequential game. It will be show...
متن کاملDynamic system of strategic games
Maybe an event can't be modeled completely through one game but there is more chance with several games. With emphasis on players' rationality, we present new properties of strategic games, which result in production of other games. Here, a new attitude to modeling will be presented in game theory as dynamic system of strategic games and its some applications such as analysis of the clash betwe...
متن کاملOn independence-friendly fixpoint logics
We introduce a fixpoint extension of Hintikka and Sandu’s IF (independence-friendly) logic. We obtain some results on its complexity and expressive power. We relate it to parity games of imperfect information, and show its application to defining independence-friendly modal mu-calculi. Philosophia Scientiæ, 8 (2), 2004, 125–144.
متن کاملStrategic confrontation within monetary and financial authorities, and foreign exchange market participants in Iran: non-cooperative static games approach
The experience of large fluctuations in the Foreign Exchange Market in Iran and the impact of monetary and fiscal policies on this market revealed the importance of adopting a scientific approach by fiscal and monetary policymakers and paying attention to the behavior of other actors (Foreign Exchange Speculators) in the decision-making. The present study tries to evaluate the Social Loss of ad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1401.4927 شماره
صفحات -
تاریخ انتشار 2014