Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
van Ditmarsch, Hans

Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Presentations: 2

Number of views:
This page:120
Abstract pages:31
Website: http://personal.us.es/hvd/

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

Publications in Math-Net.Ru Citations
2013
1. Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov, “Subset space logic with arbitrary announcements”, Lecture Notes in Comput. Sci., 7750 (2013),  233–244  mathnet  zmath  isi 18

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 to the website  Logotypes © Steklov Mathematical Institute RAS, 2024