Dynamic Epistemic Logic Hans van Ditmarsch Международная конференция «Logical Models of Reasoning and Computation» 1 февраля 2012 г. 10:45
Future event logic – axioms and complexity Hans van Ditmarsch, Tim French, Sophie Pinchinat Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010) 25 августа 2010 г. 09:50