van Ditmarsch Hans

Presentations in Math-Net.Ru

1. Dynamic Epistemic Logic
   Hans van Ditmarsch
   International workshop "Logical Models of Reasoning and Computation"
   February 1, 2012 10:45   
2. Future event logic – axioms and complexity
   Hans van Ditmarsch, Tim French, Sophie Pinchinat
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 25, 2010 09:50