%0 Journal Article %1 journals/sLogica/ZhangL15 %A Zhang, Yan %A Li, Kai %D 2015 %J Studia Logica %K dblp %N 6 %P 1123-1162 %T Decidability of Logics Based on an Indeterministic Metric Tense Logic. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica103.html#ZhangL15 %V 103

@article{journals/sLogica/ZhangL15, added-at = {2015-11-18T00:00:00.000+0100}, author = {Zhang, Yan and Li, Kai}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e1fa9f46d6f27a06429ec5108c340dd8/dblp}, ee = {http://dx.doi.org/10.1007/s11225-015-9613-4}, interhash = {eb6f57ef3c71f20a8baf8a7ee7f4b61b}, intrahash = {e1fa9f46d6f27a06429ec5108c340dd8}, journal = {Studia Logica}, keywords = {dblp}, number = 6, pages = {1123-1162}, timestamp = {2016-02-02T04:19:01.000+0100}, title = {Decidability of Logics Based on an Indeterministic Metric Tense Logic.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica103.html#ZhangL15}, volume = 103, year = 2015 }