%0 Journal Article %1 journals/japll/MarinkovicODP14 %A Marinkovic, Bojan %A Ognjanovic, Zoran %A Doder, Dragan %A Perovic, Aleksandar %D 2014 %J J. Applied Logic %K dblp %N 2 %P 208-229 %T A propositional linear time logic with time flow isomorphic to ω2. %U http://dblp.uni-trier.de/db/journals/japll/japll12.html#MarinkovicODP14 %V 12

@article{journals/japll/MarinkovicODP14, added-at = {2014-05-19T00:00:00.000+0200}, author = {Marinkovic, Bojan and Ognjanovic, Zoran and Doder, Dragan and Perovic, Aleksandar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/245cc7f9043ff79cb2e9b7bb03423e571/dblp}, ee = {http://dx.doi.org/10.1016/j.jal.2014.03.002}, interhash = {c6d961ea98774189e126aac39509cc38}, intrahash = {45cc7f9043ff79cb2e9b7bb03423e571}, journal = {J. Applied Logic}, keywords = {dblp}, number = 2, pages = {208-229}, timestamp = {2016-02-02T09:20:35.000+0100}, title = {A propositional linear time logic with time flow isomorphic to ω2.}, url = {http://dblp.uni-trier.de/db/journals/japll/japll12.html#MarinkovicODP14}, volume = 12, year = 2014 }