Abstract
The subject of epistemic logic is firmly entrenched in game theory, including the analysis of common knowledge and of public announcements, such as in ‘hat problems’. How to analyse communications to subgroups of the public, and the effects of such common knowledge of a subgroup on the information state of a larger group, has only recently come into fruition. Knowledge games are introduced to provide a comfortably concrete vehicle for the study of such interactions. This paper introduces the concepts of knowledge game, deal of cards, knowledge game state, game action, and action execution. A deal of cards is a function from cards to players. A knowledge game state is represented by a pointed multiagent S5 model on the set of card deals where all players hold the same number of cards as in the actual deal. A game action combines a question with an answer, and is represented by a pointed multiagent S5 frame on the set of possible answers. The execution of a game action in a knowledge game state corresponds to the computation of a pointed multiagent S5 model that is a restriction of the direct product of the corresponding action frame and game model.
Sign-in/Register to access full text options 
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 callDisclaimer: 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.
