@article{articlecf2f1a5b,
title   = {Adding a temporal dimension to a logic system},
author = {Finger, Marcelo and Gabbay, Dov M.},
year = {1992},
doi = {10.1007/BF00156915},
journal   = {Journal of Logic, Language and Information}
}