دنبال کردن
Hans van Ditmarsch
Hans van Ditmarsch
CNRS
ایمیل تأیید شده در irit.fr - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
Dynamic epistemic logic‏
H van Ditmarsch, W van der Hoek, B Kooi‏
Springer, 2007‏
21742007
Knowledge games‏
H van Ditmarsch‏
Bulletin of Economic Research 53 (4), 249-273, 2001‏
2382001
Handbook of epistemic logic‏
H van Ditmarsch, JY Halpern, W van der Hoek, BP Kooi‏
College Publications, 2015‏
2122015
Prolegomena to dynamic logic for belief revision‏
H van Ditmarsch‏
Synthese 147 (2), 229-275, 2005‏
1962005
‘Knowable’ as ‘known after an announcement’‏
P Balbiani, A Baltag, H van Ditmarsch, A Herzig, T Hoshi, T de Lima‏
Review of Symbolic Logic 1 (3), 305-334, 2008‏
1882008
Dynamic epistemic logic with assignment‏
H van Ditmarsch, W van der Hoek, BP Kooi‏
Proceedings of 4th AAMAS, 141-148, 2005‏
1562005
The secret of my success‏
H van Ditmarsch, B Kooi‏
Synthese 153 (2), 339-339, 2006‏
1512006
Group announcement logic‏
T Ågotnes, P Balbiani, H van Ditmarsch, P Seban‏
Journal of Applied Logic 8 (1), 62-81, 2010‏
1412010
The Russian cards problem‏
H van Ditmarsch‏
Studia Logica 75 (1), 31-62, 2003‏
1332003
Semantic results for ontic and epistemic change‏
H van Ditmarsch, BP Kooi‏
Logic and the Foundations of Game and Decision Theory (Texts in Logic and …, 2006‏
1292006
Contingency and knowing whether‏
J Fan, Y Wang, H van Ditmarsch‏
The Review of Symbolic Logic 8 (1), 75-107, 2015‏
1242015
Epistemic logic and information update‏
A Baltag, H van Ditmarsch, LS Moss‏
Handbook on the Philosophy of Information, 369-463, 2008‏
942008
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability paradox‏
P Balbiani, A Baltag, H van Ditmarsch, A Herzig, T Hoshi, T de Lima‏
Proceedings of 11th TARK, 42-51, 2007‏
87*2007
Undecidability for arbitrary public announcement logic‏
T French, H van Ditmarsch‏
Proceedings of 7th Advances in Modal Logic, 23-42, 2008‏
862008
Descriptions of game actions‏
H van Ditmarsch‏
Journal of Logic, Language and Information 11 (3), 349-365, 2002‏
752002
On the logic of lying‏
H van Ditmarsch, J van Eijck, F Sietsma, Y Wang‏
Games, actions and social software, 41-72, 2012‏
742012
Introspective forgetting‏
H van Ditmarsch, A Herzig, J Lang, P Marquis‏
Synthese 169 (2), 405-423, 2009‏
732009
Concurrent dynamic epistemic logic for MAS‏
H van Ditmarsch, W van der Hoek, BP Kooi‏
Proceedings of 2nd AAMAS, 201-208, 2003‏
73*2003
Model checking Russian cards‏
H van Ditmarsch, W Van Der Hoek, R Van Der Meyden, J Ruan‏
Electronic Notes in Theoretical Computer Science 149 (2), 105-123, 2006‏
702006
Coalitions and announcements‏
T Ågotnes, H van Ditmarsch‏
Proceedings of the 7th international joint conference on Autonomous agents …, 2008‏
692008
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20