What is the connection between game theory and (modal) logic?

294 Views Asked by At

I'm interested in dynamic epistemic logic lately (reasoning about information and change in multi-agent systems). I also like game theory. I'm looking for some good resources about the connection between those topics.

How can one apply dynamic epistemic (or any other modal) logic to games?

I'd like to know how concepts like general knowledge, common knowledge, epistemic actions, public announcements, action moidels etc. relate to game theory topics.