E-LIB Suche - Ergebnisse für: van Ditmarsch, H.P.

1

Sum and Product in Dynamic Epistemic Logic:

van Ditmarsch, H. P. ; Ruan, J. ; Verbrugge, R.
Journal of Logic and Computation. 18 (2007) 4 - p. 563-588 , 2007

2

Model Checking Russian Cards:

van Ditmarsch, H.P. ; van der Hoek, W. ; van der Meyden, R..
Electronic Notes in Theoretical Computer Science. 149 (2006) 2 - p. 105-123 , 2006

Link: https://doi.org/10.1016/..

3

Dynamic epistemic logic with assignment:

, In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems,

van Ditmarsch, H. P. ; van der Hoek, W. ; Kooi, B. P. - p. 141-148 , 2005

Link: https://dl.acm.org/doi/1..

4

Permuting machines and priority queues:

Aldred, R.E.L. ; Atkinson, M.D. ; van Ditmarsch, H.P....
Theoretical Computer Science. 349 (2005) 3 - p. 309-317 , 2005

Link: https://doi.org/10.1016/..

5

Restricted permutations and queue jumping:

Albert, M.H. ; Aldred, R.E.L. ; Atkinson, M.D....
Discrete Mathematics. 287 (2004) 1-3 - p. 129-133 , 2004

Link: https://doi.org/10.1016/..

6

Concurrent dynamic epistemic logic for MAS:

, In: Proceedings of the second international joint conference on Autonomous agents and multiagent systems,

van Ditmarsch, H. P. ; van der Hoek, W. ; Kooi, B. P. - p. 201-208 , 2003

Link: https://dl.acm.org/doi/1..

7

The succinctness of the cover modality:

van Ditmarsch, H. ; Iliev, P.
Journal of Applied Non-Classical Logics. 25 (2015) 4 - p. 373-405 , 2015

Link: https://doi.org/10.1080/..

8

Tableaux for Public Announcement Logic:

Balbiani, P. ; van Ditmarsch, H. ; Herzig, A..
Journal of Logic and Computation. 20 (2008) 1 - p. 55-76 , 2008

Link: https://doi.org/10.1093/..

9

What can we achieve by arbitrary announcements? : A dyna..:

, In: Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge,

Balbiani, P. ; Baltag, A. ; van Ditmarsch, H.... - p. 42-51 , 2007

Link: https://dl.acm.org/doi/1..

10

Avoiding bias in cards cryptography:

Atkinson, M. D ; van Ditmarsch, H. P ; Roehling, S
http://arxiv.org/abs/cs/0702097. , 2007

Link: http://arxiv.org/abs/cs/..

11

The secret of my success:

Kooi, Barteld ; van Ditmarsch, H.P
https://research.rug.nl/en/publications/a35e0043-a976-4739-89fc-994cf63d5193. , 2006

Link: https://hdl.handle.net/1..

12

Semantic results for ontic and epistemic change:

van Ditmarsch, H. P ; Kooi, B. P
http://arxiv.org/abs/cs/0610093. , 2006

Link: http://arxiv.org/abs/cs/..

13

Playing cards with Hintikka An introduction to dynamic epis..:

Ditmarsch, H. P ; Van Der Hoek, W ; Kooi, B. P
https://ojs.victoria.ac.nz/ajl/article/view/1776/1627. , 2005

Link: https://ojs.victoria.ac...

14

Correlation of cranial ultrasound and cerebral visual impai..:

Eken, P. ; van Nieuwenhuizen, O. ; de Vries, L.S...
Clinical Neurology and Neurosurgery. 93 (1991) 4 - p. 351 , 1991

Link: https://doi.org/10.1016/..

15

A theoria round table on philosophy publishing:

Hansson, B ; Ditmarsch, H van ; Engel, P...
ISSN:1755-2567. , 2011

Link: http://repository.tue.nl..