Παρακολούθηση
Hans van Ditmarsch
Hans van Ditmarsch
CNRS
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα irit.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Dynamic epistemic logic
H van Ditmarsch, W van der Hoek, B Kooi
Springer Verlag, 2007
20812007
Knowledge games
H van Ditmarsch
Bulletin of Economic Research 53 (4), 249-273, 2001
2342001
Handbook of epistemic logic
H van Ditmarsch, JY Halpern, W van der Hoek, BP Kooi
College Publications, 2015
2042015
Prolegomena to dynamic logic for belief revision
H van Ditmarsch
Synthese 147 (2), 229-275, 2005
1942005
‘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
1742008
Dynamic epistemic logic with assignment
H van Ditmarsch, W van der Hoek, BP Kooi
Proceedings of 4th AAMAS, 141-148, 2005
1522005
The secret of my success
H van Ditmarsch, B Kooi
Synthese 153 (2), 339-339, 2006
1462006
Group announcement logic
T Ågotnes, P Balbiani, H van Ditmarsch, P Seban
Journal of Applied Logic 8 (1), 62-81, 2010
1322010
The Russian cards problem
H van Ditmarsch
Studia Logica 75 (1), 31-62, 2003
1302003
Semantic results for ontic and epistemic change
HP van Ditmarsch, BP Kooi
Logic and the Foundations of Game and Decision Theory (Texts in Logic and …, 2006
1252006
Contingency and knowing whether
J Fan, Y Wang, H van Ditmarsch
The Review of Symbolic Logic 8 (01), 75-107, 2015
1142015
Epistemic logic and information update
A Baltag, HP van Ditmarsch, LS Moss
Handbook on the Philosophy of Information, 369-463, 2008
902008
Undecidability for arbitrary public announcement logic
T French, H van Ditmarsch
Proceedings of the seventh conference 'Advances in Modal Logic', 23-42, 2008
822008
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
81*2007
Descriptions of game actions
HP van Ditmarsch
Journal of Logic, Language and Information 11 (3), 349-365, 2002
732002
Concurrent dynamic epistemic logic for MAS
HP van Ditmarsch, W van der Hoek, BP Kooi
Proceedings of 2nd AAMAS, 201-208, 2003
72*2003
On the logic of lying
H van Ditmarsch, J van Eijck, F Sietsma, Y Wang
Games, actions and social software, 41-72, 2012
692012
Model checking Russian cards
HP van Ditmarsch, W Van Der Hoek, R Van Der Meyden, J Ruan
Electronic Notes in Theoretical Computer Science 149 (2), 105-123, 2006
692006
Introspective forgetting
H van Ditmarsch, A Herzig, J Lang, P Marquis
Synthese 169 (2), 405-423, 2009
642009
Coalitions and announcements
T Ågotnes, H van Ditmarsch
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
642008
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20