![]() |
@article{DBLP:journals/iandc/HirshfeldR03,
author = {Yoram Hirshfeld and
Alexander Moshe Rabinovich},
title = {Future temporal logic needs infinitely many modalities},
journal = {Inf. Comput.},
volume = {187},
number = {2},
year = {2003},
pages = {196-208},
ee = {http://dx.doi.org/10.1016/S0890-5401(03)00163-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-01-15 by Michael Ley (ley@uni-trier.de)