%0 Journal Article %1 journals/mlq/Kawai88 %A Kawai, Hiroya %D 1988 %J Math. Log. Q. %K dblp %N 5 %P 393-398 %T Completeness Theorems for Temporal Logics TΩ and □TΩ. %U http://dblp.uni-trier.de/db/journals/mlq/mlq34.html#Kawai88 %V 34

@article{journals/mlq/Kawai88, added-at = {2015-08-10T00:00:00.000+0200}, author = {Kawai, Hiroya}, biburl = {https://www.bibsonomy.org/bibtex/24848b53389378c01f87aafb04261cf5c/dblp}, ee = {http://dx.doi.org/10.1002/malq.19880340503}, interhash = {f23402437260a5ed323c851937f13684}, intrahash = {4848b53389378c01f87aafb04261cf5c}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 5, pages = {393-398}, timestamp = {2015-08-11T11:33:03.000+0200}, title = {Completeness Theorems for Temporal Logics TΩ and □TΩ.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq34.html#Kawai88}, volume = 34, year = 1988 }