Title of article :
Future temporal logic needs infinitely many modalities
Author/Authors :
Yoram Hirshfeld، نويسنده , , Alexander Rabinovich، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Journal title :
Information and Computation
Journal title :
Information and Computation