%0 Journal Article %1 journals/mlq/Kawai87 %A Kawai, Hiroya %D 1987 %J Math. Log. Q. %K dblp %N 5 %P 423-432 %T Sequential Calculus for a First Order Infinitary Temporal Logic. %U http://dblp.uni-trier.de/db/journals/mlq/mlq33.html#Kawai87 %V 33

@article{journals/mlq/Kawai87, added-at = {2016-11-30T00:00:00.000+0100}, author = {Kawai, Hiroya}, biburl = {https://www.bibsonomy.org/bibtex/27f9d494eb8f92e9e96248cd932f9cab2/dblp}, ee = {http://dx.doi.org/10.1002/malq.19870330506}, interhash = {bccbb1a59fefa824c26a84b84999ac19}, intrahash = {7f9d494eb8f92e9e96248cd932f9cab2}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 5, pages = {423-432}, timestamp = {2016-12-01T11:34:16.000+0100}, title = {Sequential Calculus for a First Order Infinitary Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq33.html#Kawai87}, volume = 33, year = 1987 }