Pinchinat2010b

Hans van Ditmarsch, Tim French, Sophie Pinchinat. Future Event Logic - axioms and complexity. In Proceedings of Advances in Modal Logic, Moscow. Russia (ed.), Lecture Notes in Computer Science, 2010.

Contact

Sophie Pinchinat http://www.irisa.fr/prive/Sophie.Pinchinat/

BibTex Reference

@InProceedings{Pinchinat2010b,
   Author = {van Ditmarsch, Hans and French, Tim and Pinchinat, Sophie},
   Title = {Future Event Logic - axioms and complexity},
   BookTitle = {{P}roceedings of Advances in Modal Logic},
   editor = {Russia, Moscow.},
   Series = {Lecture Notes in Computer Science},
   Publisher = {College Publications},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)