Abstract

We propose some variants of a multi-modal of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some well-known theorems in the area of interactive epistemology that specify some sufficient epistemic conditions of equilibrium notions such as Nash equilibrium and Iterated Deletion of Strictly Dominated Strategies (IDSDS). Then, we present a variant of the logic extended with dynamic operators of Dynamic Epistemic Logic (DEL). We show that it allows to express the notion IDSDS in a more compact way. The second part of the paper deals with games with weaker forms of complete information. We first discuss several assumptions on different aspects of perfect information about the game structure (e.g., the assumption that a player has perfect knowledge about the players’ strategy sets or about the preference orderings over strategy profiles), and show that every assumption is expressed by a corresponding logical axiom of our logic. Then we provide a proof of Harsanyi’s claim that all uncertainty about the structure of a game can be reduced to uncertainty about payoffs. Sound and complete axiomatizations of the logics are given, as well as some complexity results for the satisfiability problem.

Highlights

  • The aim of this article is to propose a modal logic framework that allows to reason about epistemic games in strategic form

  • We try to fill this gap by proposing some variants of a multi-modal logic of joint action, preference and knowledge interpreted on a Kripke-style semantics, that allow to represent both epistemic games with complete information and epistemic games with different forms of incomplete information about the game structure

  • We present the multi-modal logic MLEG (Modal Logic of Epistemic Games) integrating the concepts of joint action, knowledge and preference

Read more

Summary

Introduction

The aim of this article is to propose a modal logic framework that allows to reason about epistemic games in strategic form. We try to fill this gap by proposing some variants of a multi-modal logic of joint action, preference and knowledge interpreted on a Kripke-style semantics, that allow to represent both epistemic games with complete information and epistemic games with different forms of incomplete information about the game structure. We give sound and complete axiomatizations of all these logics as well as some complexity results for the satisfiability problem. The article is organized in two parts: the first part is focused on strategic games with complete information, while the second one extends the analysis to strategic games with incomplete information

Objectives
Discussion
Conclusion

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.