Melvin Fitting Reasoning About Games

  • Published 2010


A mixture of propositional dynamic logic and epistemic logic that we call PDL + E is used to give a formalization of Artemov’s knowledge based reasoning approach to game theory, (KBR), [4, 5, 6, 7]. Epistemic states of players are represented explicitly and reasoned about formally. We give a detailed analysis of the Centipede game using both proof theoretic… (More)


6 Figures and Tables

Cite this paper

@inproceedings{2010MelvinFR, title={Melvin Fitting Reasoning About Games}, author={}, year={2010} }