%0 Journal Article %1 journals/japll/MarinkovicODP14 %A Marinkovic, Bojan %A Ognjanovic, Zoran %A Doder, Dragan %A Perovic, Aleksandar %D 2014 %J J. Appl. Log. %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 = {2021-02-16T00:00:00.000+0100}, author = {Marinkovic, Bojan and Ognjanovic, Zoran and Doder, Dragan and Perovic, Aleksandar}, biburl = {https://www.bibsonomy.org/bibtex/2823e91ecaca1c6f04ca7d4c8be03c88c/dblp}, ee = {https://doi.org/10.1016/j.jal.2014.03.002}, interhash = {c6d961ea98774189e126aac39509cc38}, intrahash = {823e91ecaca1c6f04ca7d4c8be03c88c}, journal = {J. Appl. Log.}, keywords = {dblp}, number = 2, pages = {208-229}, timestamp = {2024-04-09T02:13:43.000+0200}, 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 }