Properties of Tense Logics
From Tetherless World Wiki
\begin{bibtex} @article{DBLP:journals/mlq/Wolter96a,
author = {Frank Wolter},
title = {Properties of Tense Logics},
journal = {Math. Log. Q.},
volume = {42},
year = {1996},
pages = {481-500},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
