Pinchinat Sophie

Presentations in Math-Net.Ru

1. 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