TY  - RPRT
TI  - A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2
AU  - Bojan Marinković
AU  - Zoran Ognjanović
AU  - Dragan Doder
AU  - Aleksandar Perović
PY  - 2013
DO  - 10.1016/j.jal.2014.03.002
UR  - https://arxiv.org/abs/1309.0829
ID  - 1309.0829
ER  -