팔로우
Hans van Ditmarsch
Hans van Ditmarsch
CNRS
irit.fr의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Dynamic epistemic logic
H van Ditmarsch, W van der Hoek, B Kooi
Springer, 2007
21492007
Knowledge games
H van Ditmarsch
Bulletin of Economic Research 53 (4), 249-273, 2001
2372001
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
1932005
‘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
1832008
Dynamic epistemic logic with assignment
H van Ditmarsch, W van der Hoek, BP Kooi
Proceedings of 4th AAMAS, 141-148, 2005
1552005
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
1392010
The Russian cards problem
H van Ditmarsch
Studia Logica 75 (1), 31-62, 2003
1312003
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
1272006
Contingency and knowing whether
J Fan, Y Wang, H van Ditmarsch
The Review of Symbolic Logic 8 (1), 75-107, 2015
1192015
Epistemic logic and information update
A Baltag, H van Ditmarsch, LS Moss
Handbook on the Philosophy of Information, 369-463, 2008
942008
Undecidability for arbitrary public announcement logic
T French, H van Ditmarsch
Proceedings of 7th Advances in Modal Logic, 23-42, 2008
862008
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
83*2007
Concurrent dynamic epistemic logic for MAS
H van Ditmarsch, W van der Hoek, BP Kooi
Proceedings of 2nd AAMAS, 201-208, 2003
73*2003
Descriptions of game actions
H van Ditmarsch
Journal of Logic, Language and Information 11 (3), 349-365, 2002
732002
Introspective forgetting
H van Ditmarsch, A Herzig, J Lang, P Marquis
Synthese 169 (2), 405-423, 2009
722009
On the logic of lying
H van Ditmarsch, J van Eijck, F Sietsma, Y Wang
Games, actions and social software, 41-72, 2012
702012
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
692006
Dynamics of lying
H van Ditmarsch
Synthese 191 (5), 745-777, 2014
65*2014
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20