Johan van Benthem has highlighted in his work that many questions arising in the analysis of strategic interaction call for logical and computational analysis. These questions lead to both formal and conceptually illuminating answers, in that they contribute to clarifying some of the underlying...

We study common belief of rationality in strategic-form games with ordinal utilities, employing a model of qualitative beliefs. We characterize the three main solution concepts for such games, viz., Iterated Deletion of Strictly Dominated Strategies (IDSDS), Iterated Deletion of...