585 search results - page 5 / 117 » Strategy Logic |
77
Voted
KR
2004
Springer
15 years 8 months ago
2004
Springer
108
Voted
DCAI
2008
15 years 5 months ago
2008
84
Voted
MODELLIERUNG
2008
15 years 5 months ago
2008
122
Voted
AMAST
2010
Springer
14 years 10 months ago
2010
Springer
142
Voted
JANCL
2007
15 years 3 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...