Repository | Book | Chapter

Hintikka and Sandu's Independence-friendly logic (Hintikka, 1996; Hintikka and Sandu, 1997) 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 framework we get rid of IF semantic games that violate the principle of perfect recall. We explore the strategic framework by replacing the notion of Nash equilibrium by other solution concepts, that are inspired by weakly dominant strategies and iterated removal thereof, charting the expressive power of IF logic under the resulting semantics.

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 200

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327

Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329

Warning: sizeof(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 595

DOI: 10.1007/978-1-4020-9374-6_5

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327

Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329

Warning: sizeof(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 595

Warning: count(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenFormat.php on line 173

Warning: Invalid argument supplied for foreach() in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenFormat.php on line 175

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327

Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329

Warning: count(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenFormat.php on line 173

Warning: Invalid argument supplied for foreach() in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenFormat.php on line 175

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327

Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329

Warning: sizeof(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 595

Warning: Invalid argument supplied for foreach() in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 832

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 200

Full citation: