RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
van Ditmarsch Hans

Statistics Math-Net.Ru
Presentations: 2

Number of views:
This page:34
Website: http://personal.us.es/hvd/

http://www.mathnet.ru/eng/person56762
List of publications on Google Scholar
List of publications on ZentralBlatt

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   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017